Copertina

On Compositional Learning Behaviours in Formal Mathematics

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Denamganaï, Kevin Yandoka
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Computation and Language
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Language Model Inversion through End-to-End Differentiation
di: Denamganaï, Kevin Yandoka, et al.
Pubblicazione: (2026)

CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization
di: Peng, Zhongyuan, et al.
Pubblicazione: (2025)

FMC: Formalization of Natural Language Mathematical Competition Problems
di: Xie, Jiaxuan, et al.
Pubblicazione: (2025)

Conjecturing: An Overlooked Step in Formal Mathematical Reasoning
di: Sivakumar, Jasivan Alex, et al.
Pubblicazione: (2025)

Learning an Effective Premise Retrieval Model for Efficient Mathematical Formalization
di: Tao, Yicheng, et al.
Pubblicazione: (2025)

Mathematical Formalized Problem Solving and Theorem Proving in Different Fields in Lean 4
di: Tang, Xichen
Pubblicazione: (2024)

Beyond Gold Standards: Epistemic Ensemble of LLM Judges for Formal Mathematical Reasoning
di: Zhang, Lan, et al.
Pubblicazione: (2025)

Categorical Foundations of Formalized Condensed Mathematics
di: Asgeirsson, Dagur, et al.
Pubblicazione: (2024)

DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition
di: Ren, Z. Z., et al.
Pubblicazione: (2025)

Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion
di: Xu, Ziyao, et al.
Pubblicazione: (2025)

Exploring the Compositional Deficiency of Large Language Models in Mathematical Reasoning
di: Zhao, Jun, et al.
Pubblicazione: (2024)

NILE: Formalizing Natural-Language Descriptions of Formal Languages
di: Kneisel, Tristan, et al.
Pubblicazione: (2026)

A Formal Comparison Between Chain of Thought and Latent Thought
di: Xu, Kevin, et al.
Pubblicazione: (2025)

FormalML: A Benchmark for Evaluating Formal Subgoal Completion in Machine Learning Theory
di: Yang, Xiao-Wen, et al.
Pubblicazione: (2025)

The Need for an External Observer Formalizing the Sufficiency Gap: A Mathematical Extension of Mixture Identifiability and Contextual Grounding in Sequence Models
di: Corielli, Francesco
Pubblicazione: (2026)

AgentCoMa: A Compositional Benchmark Mixing Commonsense and Mathematical Reasoning in Real-World Scenarios
di: Alazraki, Lisa, et al.
Pubblicazione: (2025)

Formal Verification of a Token Sale Launchpad: A Compositional Approach in Dafny
di: Ukhanov, Evgeny
Pubblicazione: (2025)

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

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification
di: Liu, Chengwu, et al.
Pubblicazione: (2025)

Does Learning Mathematical Problem-Solving Generalize to Broader Reasoning?
di: Zhou, Ruochen, et al.
Pubblicazione: (2025)

Do Construction Distributions Shape Formal Language Learning In German BabyLMs?
di: Bunzeck, Bastian, et al.
Pubblicazione: (2025)

Multi-turn Evaluation of Anthropomorphic Behaviours in Large Language Models
di: Ibrahim, Lujain, et al.
Pubblicazione: (2025)

Formal Constraints on Dependency Syntax
di: Gómez-Rodríguez, et al.
Pubblicazione: (2026)

Formal Aspects of Language Modeling
di: Cotterell, Ryan, et al.
Pubblicazione: (2023)

From Informal to Formal -- Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs
di: Cao, Jialun, et al.
Pubblicazione: (2025)

Future Policy Approximation for Offline Reinforcement Learning Improves Mathematical Reasoning
di: Oh, Minjae, et al.
Pubblicazione: (2025)

Progressive Mastery: Customized Curriculum Learning with Guided Prompting for Mathematical Reasoning
di: Wu, Muling, et al.
Pubblicazione: (2025)

Learn Beyond The Answer: Training Language Models with Reflection for Mathematical Reasoning
di: Zhang, Zhihan, et al.
Pubblicazione: (2024)

CktFormalizer: Autoformalization of Natural Language into Circuit Representations
di: Xiong, Jing, et al.
Pubblicazione: (2026)

Formality is Favored: Unraveling the Learning Preferences of Large Language Models on Data with Conflicting Knowledge
di: Li, Jiahuan, et al.
Pubblicazione: (2024)

Generating Synthetic Data with Formal Privacy Guarantees: State of the Art and the Road Ahead
di: Schlegel, Viktor, et al.
Pubblicazione: (2025)

How Value Induction Reshapes LLM Behaviour
di: Arora, Arnav, et al.
Pubblicazione: (2026)

On the Limit of Language Models as Planning Formalizers
di: Huang, Cassie, et al.
Pubblicazione: (2024)

Polymath: A Challenging Multi-modal Mathematical Reasoning Benchmark
di: Gupta, Himanshu, et al.
Pubblicazione: (2024)

MathEDU: Feedback Generation on Problem-Solving Processes for Mathematical Learning Support
di: Hsu, Wei-Ling, et al.
Pubblicazione: (2025)

ClozeMath: Improving Mathematical Reasoning in Language Models by Learning to Fill Equations
di: Pham, Quang Hieu, et al.
Pubblicazione: (2025)

FormalASR: End-to-End Spoken Chinese to Formal Text
di: Ning, Wanyi, et al.
Pubblicazione: (2026)

From Algebraic Word Problem to Program: A Formalized Approach
di: Wiemerslage, Adam, et al.
Pubblicazione: (2020)

Learning to Substitute Components for Compositional Generalization
di: Li, Zhaoyi, et al.
Pubblicazione: (2025)

The Role of the Availability Heuristic in Multiple-Choice Answering Behaviour
di: Zotos, Leonidas, et al.
Pubblicazione: (2026)