conftrace_

formal theorem proving

10 papers

Explore in graph

Co-occurring keywords · papers mentioning both

large language model (5) theorem proving (4) mathematical reasoning (3) proof assistant (2) llms (2) proof generation (2) curriculum learning (2) reinforcement learning (2) backward chaining (1) content bia (1)

Papers

Benchmarking Testing in Automated Theorem Proving ACL 2026 Lakksh at SemEval-2026 Task 11(1 & 2): Neuro-Symbolic Decomposition to Mitigate Content Bias in Syllogistic Reasoning SemEval 2026 DeepSeek-Prover-V1.5: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search ICLR 2025 Hierarchical Attention Generates Better Proofs ACL 2025 LeanAgent: Lifelong Learning for Formal Theorem Proving ICLR 2025 MA-LoT: Model-Collaboration Lean-based Long Chain-of-Thought Reasoning enhances Formal Theorem Proving ICML 2025 Rewarding the Unlikely: Lifting GRPO Beyond Distribution Sharpening EMNLP 2025 BC-Prover: Backward Chaining Prover for Formal Theorem Proving EMNLP 2024 Subgoal-based Demonstration Learning for Formal Theorem Proving ICML 2024 TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts EMNLP 2024