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
On the map: LLM reasoning → Reasoning benchmarks and evaluation
Abstract (arXiv)
Recently, it is often said that the data used for the pre-training of large language models (LLMs) have been exhausted. This paper proposes a solution to the problem: Automated generation of massive reasonable empirical theorems by forward reasoning based on strong relevant logics. In fact, this can be regarded as a part of our approach to the problems of ATF (Automated Theorem Finding) and AKA (Automated Knowledge Appreciation).
Key facts. No citing papers in the map yet (data through 14 Oct 2026). Placed in Reasoning benchmarks and evaluation, one of 17 directions in LLM reasoning. Builds on 0 of its 23 references that are in the map. First posted on arXiv 16 Dec 2024.
Builds on
0 of 23 references.
No references here yet.
Built on by
Not cited yet.
Similar, not cited
Close in wording, no citation either way
- 2025Beyond Correctness: Exposing LLM-generated Logical Flaws in Reasoning via Multi-step Automated Theorem Proving
- 2025Can Large Language Models Learn Formal Logic? A Data-Driven Training and Evaluation Framework
- 2024Enhancing Reasoning Capabilities of LLMs via Principled Synthetic Logic Corpus
- 2026ORACLE: Optimizing Reasoning Abilities of Large Language Models via Constraint-Led Synthetic Data Elicitation
- 2024Automated Theorem Provers Help Improve Large Language Model Reasoning
- 2025Saturation-Driven Dataset Generation for LLM Mathematical Reasoning in the TPTP Ecosystem
- 2024Towards Logically Consistent Language Models via Probabilistic Reasoning
- 2025AutoLogi: Automated Generation of Logic Puzzles for Evaluating Reasoning Abilities of Large Language Models