Buchumschlag

Saturation-Driven Dataset Generation for LLM Mathematical Reasoning in the TPTP Ecosystem

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Quesnel, Valentin, Sileo, Damien
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Computation and Language Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Reasoning Core: A Scalable RL Environment for LLM Symbolic Reasoning
von: Lacombe, Valentin, et al.
Veröffentlicht: (2025)

Reasoning Core: A Scalable Procedural Data Generation Suite for Symbolic Pre-training and Post-Training
von: Lacombe, Valentin, et al.
Veröffentlicht: (2026)

Scaling Synthetic Logical Reasoning Datasets with Context-Sensitive Declarative Grammars
von: Sileo, Damien
Veröffentlicht: (2024)

Geometry of Reason: Spectral Signatures of Valid Mathematical Reasoning
von: Noël, Valentin
Veröffentlicht: (2026)

Logic Haystacks: Probing LLMs Long-Context Logical Reasoning (Without Easily Identifiable Unrelated Padding)
von: Sileo, Damien
Veröffentlicht: (2025)

Quantization Meets Reasoning: Exploring LLM Low-Bit Quantization Degradation for Mathematical Reasoning
von: Li, Zhen, et al.
Veröffentlicht: (2025)

Key-Point-Driven Mathematical Reasoning Distillation of Large Language Model
von: Zhu, Xunyu, et al.
Veröffentlicht: (2024)

Key-Point-Driven Data Synthesis with its Enhancement on Mathematical Reasoning
von: Huang, Yiming, et al.
Veröffentlicht: (2024)

From Calculation to Adjudication: Examining LLM judges on Mathematical Reasoning Tasks
von: Stephan, Andreas, et al.
Veröffentlicht: (2024)

GeoThought: A Dataset for Enhancing Mathematical Geometry Reasoning in Vision-Language Models
von: Shi, Nannan, et al.
Veröffentlicht: (2025)

Improving Mathematical Reasoning Capabilities of Small Language Models via Feedback-Driven Distillation
von: Zhu, Xunyu, et al.
Veröffentlicht: (2024)

Attention Overflow: Language Model Input Blur during Long-Context Missing Items Recommendation
von: Sileo, Damien
Veröffentlicht: (2024)

Weaker LLMs' Opinions Also Matter: Mixture of Opinions Enhances LLM's Mathematical Reasoning
von: Chen, Yanan, et al.
Veröffentlicht: (2025)

Towards Robust Mathematical Reasoning
von: Luong, Thang, et al.
Veröffentlicht: (2025)

Expanding Search Space with Diverse Prompting Agents: An Efficient Sampling Approach for LLM Mathematical Reasoning
von: Lee, Gisang, et al.
Veröffentlicht: (2024)

Thinking by Subtraction: Confidence-Driven Contrastive Decoding for LLM Reasoning
von: Tang, Lexiang, et al.
Veröffentlicht: (2026)

DeepMath-103K: A Large-Scale, Challenging, Decontaminated, and Verifiable Mathematical Dataset for Advancing Reasoning
von: He, Zhiwei, et al.
Veröffentlicht: (2025)

Does Math Reasoning Improve General LLM Capabilities? Understanding Transferability of LLM Reasoning
von: Huan, Maggie, et al.
Veröffentlicht: (2025)

Self-signals Driven Multi-LLM Debate for Efficient and Accurate Reasoning
von: Chen, Xuhang, et al.
Veröffentlicht: (2025)

Step Guided Reasoning: Improving Mathematical Reasoning using Guidance Generation and Step Reasoning
von: Cao, Lang, et al.
Veröffentlicht: (2024)

From Next-Token to Mathematics: The Learning Dynamics of Mathematical Reasoning in Language Models
von: Mishra, Shubhra, et al.
Veröffentlicht: (2024)

HuggingGraph: Understanding the Supply Chain of LLM Ecosystem
von: Rahman, Mohammad Shahedur, et al.
Veröffentlicht: (2025)

Arithmetic Reasoning with LLM: Prolog Generation & Permutation
von: Yang, Xiaocheng, et al.
Veröffentlicht: (2024)

Synthetic Dialogue Dataset Generation using LLM Agents
von: Abdullin, Yelaman, et al.
Veröffentlicht: (2024)

Conjecturing: An Overlooked Step in Formal Mathematical Reasoning
von: Sivakumar, Jasivan Alex, et al.
Veröffentlicht: (2025)

Markov Chain of Thought for Efficient Mathematical Reasoning
von: Yang, Wen, et al.
Veröffentlicht: (2024)

Symbolic Intermediaries as a Linguistic-Numerical Interface for LLM-Driven Geometric Reasoning
von: Gandarela, João Pedro, et al.
Veröffentlicht: (2025)

LLM-Driven Multi-Turn Task-Oriented Dialogue Synthesis for Realistic Reasoning
von: Zhu, Yu, et al.
Veröffentlicht: (2026)

Verifier-Backed Hard Problem Generation for Mathematical Reasoning
von: Lai, Yuhang, et al.
Veröffentlicht: (2026)

The Open Proof Corpus: A Large-Scale Study of LLM-Generated Mathematical Proofs
von: Dekoninck, Jasper, et al.
Veröffentlicht: (2025)

Two-Stage Reasoning-Infused Learning: Improving Classification with LLM-Generated Reasoning
von: Henrichsen, Mads, et al.
Veröffentlicht: (2025)

MathGenie: Generating Synthetic Data with Question Back-translation for Enhancing Mathematical Reasoning of LLMs
von: Lu, Zimu, et al.
Veröffentlicht: (2024)

Guarded Repair for Harm-Aware Post-hoc Replacement of LLM Mathematical Reasoning
von: Xia, Haizhou
Veröffentlicht: (2026)

GanitLLM: Difficulty-Aware Bengali Mathematical Reasoning through Curriculum-GRPO
von: Dipta, Shubhashis Roy, et al.
Veröffentlicht: (2026)

PEIRCE: Unifying Material and Formal Reasoning via LLM-Driven Neuro-Symbolic Refinement
von: Quan, Xin, et al.
Veröffentlicht: (2025)

Stateful Evidence-Driven Retrieval-Augmented Generation with Iterative Reasoning
von: Dong, Qi, et al.
Veröffentlicht: (2026)

Stance-Driven Multimodal Controlled Statement Generation: New Dataset and Task
von: Wang, Bingqian, et al.
Veröffentlicht: (2025)

A Survey on Large Language Models for Mathematical Reasoning
von: Wang, Peng-Yuan, et al.
Veröffentlicht: (2025)

RoMath: A Mathematical Reasoning Benchmark in Romanian
von: Cosma, Adrian, et al.
Veröffentlicht: (2024)

Step-level Value Preference Optimization for Mathematical Reasoning
von: Chen, Guoxin, et al.
Veröffentlicht: (2024)