proof search

Neuro-Symbolic Proof Generation for Scaling Systems Software Verification OSDI 2026 LogicTree: Structured Proof Exploration for Coherent and Rigorous Logical Reasoning with Large Language Models EMNLP 2025 Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning ICLR 2025 Learn from Failure: Fine-tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving ACL 2024 Learning Formal Mathematics From Intrinsic Motivation NeurIPS 2024 Proving Olympiad Algebraic Inequalities without Human Demonstrations NeurIPS 2024 Proving Theorems Recursively NeurIPS 2024 DT-Solver: Automated Theorem Proving with Dynamic-Tree Sampling Guided by Proof-level Value Function ACL 2023 Formal Mathematics Statement Curriculum Learning ICLR 2023 LAMBADA: Backward Chaining for Automated Reasoning in Natural Language ACL 2023 HyperTree Proof Search for Neural Theorem Proving NeurIPS 2022 A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving AAAI 2021 TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning NeurIPS 2021 Graph Representations for Higher-Order Logic and Theorem Proving AAAI 2020 Learning dynamic polynomial proofs NeurIPS 2019 Seeking Practical CDCL Insights from Theoretical SAT Benchmarks IJCAI 2018