Copertina

Automated Generation of Massive Reasonable Empirical Theorems by Forward Reasoning Based on Strong Relevant Logics -- A Solution to the Problem of LLM Pre-training Data Exhaustion

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Cheng, Jingde
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Why Cannot Large Language Models Ever Make True Correct Reasoning?
di: Cheng, Jingde
Pubblicazione: (2025)

Steamroller Problems: An Evaluation of LLM Reasoning Capability with Automated Theorem Prover Strategies
di: McGinness, Lachlan, et al.
Pubblicazione: (2024)

Adaptive Selection of Symbolic Languages for Improving LLM Logical Reasoning
di: Wang, Xiangyu, et al.
Pubblicazione: (2025)

Evaluating Robustness of Reasoning Models on Parameterized Logical Problems
di: Es-sebbani, Naïm, et al.
Pubblicazione: (2026)

OR-LLM-Agent: Automating Modeling and Solving of Operations Research Optimization Problems with Reasoning LLM
di: Zhang, Bowen, et al.
Pubblicazione: (2025)

Seed-Prover: Deep and Broad Reasoning for Automated Theorem Proving
di: Chen, Luoxin, et al.
Pubblicazione: (2025)

Abstract Meaning Representation-Based Logic-Driven Data Augmentation for Logical Reasoning
di: Bao, Qiming, et al.
Pubblicazione: (2023)

SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond
di: Liu, Junteng, et al.
Pubblicazione: (2025)

SLR: Automated Synthesis for Scalable Logical Reasoning
di: Helff, Lukas, et al.
Pubblicazione: (2025)

Logic-RL: Unleashing LLM Reasoning with Rule-Based Reinforcement Learning
di: Xie, Tian, et al.
Pubblicazione: (2025)

Theorem-Validated Reverse Chain-of-Thought Problem Generation for Geometric Reasoning
di: Deng, Linger, et al.
Pubblicazione: (2024)

Scientific Logicality Enriched Methodology for LLM Reasoning: A Practice in Physics
di: Yu, Zhaoxin, et al.
Pubblicazione: (2026)

Towards Unifying Perceptual Reasoning and Logical Reasoning
di: Kido, Hiroyuki
Pubblicazione: (2022)

Vul-R2: A Reasoning LLM for Automated Vulnerability Repair
di: Wen, Xin-Cheng, et al.
Pubblicazione: (2025)

Reasoning-Driven Multimodal LLM for Domain Generalization
di: Xu, Zhipeng, et al.
Pubblicazione: (2026)

Reasoning Depth and Environment Complexity: A Controlled Study of RLVR Data Allocation across Logical Reasoning Tasks
di: Zhu, Yihua, et al.
Pubblicazione: (2026)

$R^2$-Guard: Robust Reasoning Enabled LLM Guardrail via Knowledge-Enhanced Logical Reasoning
di: Kang, Mintong, et al.
Pubblicazione: (2024)

LLM Reasoner and Automated Planner: A new NPC approach
di: Puerta-Merino, Israel, et al.
Pubblicazione: (2025)

A Simple Generative Model of Logical Reasoning and Statistical Learning
di: Kido, Hiroyuki
Pubblicazione: (2023)

Prompting Test-Time Scaling Is A Strong LLM Reasoning Data Augmentation
di: Bsharat, Sondos Mahmoud, et al.
Pubblicazione: (2025)

LLM-AR: LLM-powered Automated Reasoning Framework
di: Chen, Rick, et al.
Pubblicazione: (2025)

Evaluating the Logical Reasoning Abilities of Large Reasoning Models
di: Liu, Hanmeng, et al.
Pubblicazione: (2025)

GraphMind: Theorem Selection and Conclusion Generation Framework with Dynamic GNN for LLM Reasoning
di: Li, Yutong, et al.
Pubblicazione: (2025)

Robust Answers, Fragile Logic: Probing the Decoupling Hypothesis in LLM Reasoning
di: Jiang, Enyi, et al.
Pubblicazione: (2025)

A Logical Pattern Memory Pre-trained Model for Entailment Tree Generation
di: Yuan, Li, et al.
Pubblicazione: (2024)

Reasoning Over Space: Enabling Geographic Reasoning for LLM-Based Generative Next POI Recommendation
di: Lv, Dongyi, et al.
Pubblicazione: (2026)

REMOR: Automated Peer Review Generation with LLM Reasoning and Multi-Objective Reinforcement Learning
di: Taechoyotin, Pawin, et al.
Pubblicazione: (2025)

Logical Phase Transitions: Understanding Collapse in LLM Logical Reasoning
di: Zhang, Xinglang, et al.
Pubblicazione: (2026)

LLM-based Automated Theorem Proving Hinges on Scalable Synthetic Data Generation
di: Lai, Junyu, et al.
Pubblicazione: (2025)

Look Back to Reason Forward: Revisitable Memory for Long-Context LLM Agents
di: Shi, Yaorui, et al.
Pubblicazione: (2025)

DeepTheorem: Advancing LLM Reasoning for Theorem Proving Through Natural Language and Reinforcement Learning
di: Zhang, Ziyin, et al.
Pubblicazione: (2025)

Controllable Logical Hypothesis Generation for Abductive Reasoning in Knowledge Graphs
di: Gao, Yisen, et al.
Pubblicazione: (2025)

Logical Structure as Knowledge: Enhancing LLM Reasoning via Structured Logical Knowledge Density Estimation
di: Bi, Zhen, et al.
Pubblicazione: (2025)

A Tutorial on LLM Reasoning: Relevant Methods behind ChatGPT o1
di: Wang, Jun
Pubblicazione: (2025)

An Empirical Study of LLM Reasoning Ability Under Strict Output Length Constraint
di: Sun, Yi, et al.
Pubblicazione: (2025)

Empowering LLMs with Logical Reasoning: A Comprehensive Survey
di: Cheng, Fengxiang, et al.
Pubblicazione: (2025)

Weak-to-Strong Reasoning
di: Yang, Yuqing, et al.
Pubblicazione: (2024)

Generative Adversarial Reasoner: Enhancing LLM Reasoning with Adversarial Reinforcement Learning
di: Liu, Qihao, et al.
Pubblicazione: (2025)

LogicGraph : Benchmarking Multi-Path Logical Reasoning via Neuro-Symbolic Generation and Verification
di: Wu, Yanrui, et al.
Pubblicazione: (2026)

An Empirical Study of Pre-trained Model Selection for Out-of-Distribution Generalization and Calibration
di: Naganuma, Hiroki, et al.
Pubblicazione: (2023)