theorem proving

FormalScience: Scalable Human-in-the-Loop Autoformalisation of Science with Agentic Code Generation in Lean ACL 2026 LeanTutor: Towards a Verified AI Mathematical Proof Tutor AAAI 2026 Representing Lean Proofs as Trajectories in Latent Space ACL 2026 Automated Strategy Invention for Confluence of Term Rewrite Systems IJCAI 2025 Chain-of-Reasoning: Towards Unified Mathematical Reasoning in Large Language Models via a Multi-Paradigm Perspective ACL 2025 Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations ACL 2025 FANS: Formal Answer Selection for LLM Natural Language Math Reasoning Using Lean4 EMNLP 2025 From Informal to Formal – Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs ACL 2025 Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2 JMLR 2025 Herald: A Natural Language Annotated Lean 4 Dataset ICLR 2025 Hierarchical Attention Generates Better Proofs ACL 2025 Lean-STaR: Learning to Interleave Thinking and Proving ICLR 2025 Learning Theorem Rationale for Improving the Mathematical Reasoning Capability of Large Language Models AAAI 2025 MASA: LLM-Driven Multi-Agent Systems for Autoformalization EMNLP 2025 NL2Lean: Translating Natural Language into Lean 4 through Multi-Aspect Reinforcement Learning EMNLP 2025 Retrieval-Augmented Language Models are Mimetic Theorem Provers EMNLP 2025 Rewarding the Unlikely: Lifting GRPO Beyond Distribution Sharpening EMNLP 2025 Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification ACL 2025 Stress-Testing the Reasoning Competence of Language Models With Formal Proofs EMNLP 2025 Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving EMNLP 2025 Towards Robust Mathematical Reasoning EMNLP 2025 Towards Scientific Discovery with Generative AI: Progress, Opportunities, and Challenges AAAI 2025 A Semantic Search Engine for Mathlib4 EMNLP 2024 ATG: Benchmarking Automated Theorem Generation for Generative Language Models NAACL 2024 Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency NeurIPS 2024