theorem proving

61 papers

Explore in graph

Also known as

COQ

Co-occurring keywords

large language model (12755) formal verification (277) mathematical reasoning (355) automated reasoning (122) logical reasoning (298) first-order logic (168) proof generation (18) semantic parsing (955) language model (4573) automated theorem proving (34)

Papers

LeanTutor: Towards a Verified AI Mathematical Proof Tutor AAAI 2026

MASA: LLM-Driven Multi-Agent Systems for Autoformalization EMNLP 2025

From Informal to Formal – Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs ACL 2025

Hierarchical Attention Generates Better Proofs ACL 2025

Gold-medalist Performance in Solving Olympiad Geometry with AlphaGeometry2 JMLR 2025

Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations ACL 2025

Towards Robust Mathematical Reasoning EMNLP 2025

NL2Lean: Translating Natural Language into Lean 4 through Multi-Aspect Reinforcement Learning EMNLP 2025

Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification ACL 2025

Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving EMNLP 2025

Chain-of-Reasoning: Towards Unified Mathematical Reasoning in Large Language Models via a Multi-Paradigm Perspective ACL 2025

Towards Scientific Discovery with Generative AI: Progress, Opportunities, and Challenges AAAI 2025

Rewarding the Unlikely: Lifting GRPO Beyond Distribution Sharpening EMNLP 2025

Stress-Testing the Reasoning Competence of Language Models With Formal Proofs EMNLP 2025

Learning Theorem Rationale for Improving the Mathematical Reasoning Capability of Large Language Models AAAI 2025

Retrieval-Augmented Language Models are Mimetic Theorem Provers EMNLP 2025

FANS: Formal Answer Selection for LLM Natural Language Math Reasoning Using Lean4 EMNLP 2025

Automated Strategy Invention for Confluence of Term Rewrite Systems IJCAI 2025

ATG: Benchmarking Automated Theorem Generation for Generative Language Models NAACL 2024

Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs OSDI 2024

Primal Grammars Driven Automated Induction IJCAI 2024

A Semantic Search Engine for Mathlib4 EMNLP 2024

Harnessing the Power of Large Language Models for Natural Language to First-Order Logic Translation ACL 2024

Scaling Synthetic Logical Reasoning Datasets with Context-Sensitive Declarative Grammars EMNLP 2024

Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving EMNLP 2024