Learning to Prove Theorems via Interacting with Proof Assistants May 21, 2019 Automated Theorem Proving Mathematical Proofs
Code Code Available Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving May 2, 2024 Automated Theorem Proving Natural Language Inference
Code Code Available Alchemy: Amplifying Theorem-Proving Capability through Symbolic Mutation Oct 21, 2024 Automated Theorem Proving Continual Pretraining
Code Code Available Learning to Match Mathematical Statements with Proofs Feb 3, 2021 Articles Automated Theorem Proving
Code Code Available Mathematical Formalized Problem Solving and Theorem Proving in Different Fields in Lean 4 Sep 9, 2024 Abstract Algebra Automated Theorem Proving
Code Code Available Solving Geometry Problems: Combining Text and Diagram Interpretation Sep 1, 2015 Automated Theorem Proving Mathematical Question Answering
Code Code Available Solving Quantified Modal Logic Problems by Translation to Classical Logics Dec 19, 2022 Automated Theorem Proving Translation
Code Code Available Learning Symbolic Rules for Reasoning in Quasi-Natural Language Nov 23, 2021 Automated Theorem Proving Formal Logic
Code Code Available REFACTOR: Learning to Extract Theorems from Proofs Feb 26, 2024 Automated Theorem Proving
Code Code Available Learning Rules Explaining Interactive Theorem Proving Tactic Prediction Nov 2, 2024 Automated Theorem Proving Inductive logic programming
Code Code Available Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving Apr 10, 2024 Automated Theorem Proving Language Modeling
Code Code Available MIRB: Mathematical Information Retrieval Benchmark May 21, 2025 Automated Theorem Proving Information Retrieval
Code Code Available A Survey on Mathematical Reasoning and Optimization with Large Language Models Mar 22, 2025 Automated Theorem Proving Heuristic Search
Code Code Available Aplib: Tactical Programming of Intelligent Agents Nov 12, 2019 Automated Theorem Proving
Code Code Available Theorem Proving in Dependently-Typed Higher-Order Logic -- Extended Preprint May 24, 2023 Automated Theorem Proving Translation
Code Code Available GamePad: A Learning Environment for Theorem Proving Jun 2, 2018 Automated Theorem Proving Position
Code Code Available G2SAT: Learning to Generate SAT Formulas Oct 29, 2019 Automated Theorem Proving
Code Code Available Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling Nov 15, 2019 Automated Theorem Proving Deep Learning
Code Code Available HOL(y)Hammer: Online ATP Service for HOL Light Sep 19, 2013 Automated Theorem Proving CPU
Code Code Available HolStep: A Machine Learning Dataset for Higher-order Logic Theorem Proving Mar 1, 2017 Automated Theorem Proving BIG-bench Machine Learning
Code Code Available The Proof is in the Pudding: Using Automated Theorem Proving to Generate Cooking Recipes Mar 5, 2022 Automated Theorem Proving Text Generation
Code Code Available Neural Theorem Provers Do Not Learn Rules Without Exploration Jun 17, 2019 Automated Theorem Proving Diagnostic
Code Code Available Automated proof synthesis for propositional logic with deep neural networks May 30, 2018 Automated Theorem Proving
Code Code Available Holophrasm: a neural Automated Theorem Prover for higher-order logic Aug 8, 2016 Automated Theorem Proving
Code Code Available TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models Oct 16, 2023 Automated Theorem Proving Benchmarking
Code Code Available On-demand Injection of Lexical Knowledge for Recognising Textual Entailment Apr 1, 2017 Automated Theorem Proving Information Retrieval
Code Code Available FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving Jun 20, 2024 Automated Theorem Proving Program Synthesis
Code Code Available On the (In)feasibility of ML Backdoor Detection as an Hypothesis Testing Problem Feb 26, 2024 Automated Theorem Proving Out-of-Distribution Detection
Code Code Available OxKBC: Outcome Explanation for Factorization Based Knowledge Base Completion Feb 14, 2020 Automated Theorem Proving Knowledge Base Completion
Code Code Available HOList: An Environment for Machine Learning of Higher-Order Theorem Proving Apr 5, 2019 Automated Theorem Proving BIG-bench Machine Learning
Code Code Available Hierarchical Attention Generates Better Proofs Apr 27, 2025 Automated Theorem Proving Mathematical Proofs
Code Code Available Guiding Inferences in Connection Tableau by Recurrent Neural Networks May 20, 2019 Automated Theorem Proving Machine Translation
Code Code Available WithdrarXiv: A Large-Scale Dataset for Retraction Study Dec 4, 2024 Automated Theorem Proving Claim Verification
Code Code Available Enumerate-Conjecture-Prove: Formally Solving Answer-Construction Problems in Math Competitions May 24, 2025 Automated Theorem Proving Math
Code Code Available Premise Selection for Theorem Proving by Deep Graph Embedding Sep 28, 2017 Automated Theorem Proving General Classification
Code Code Available Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving Jan 22, 2024 Automated Theorem Proving
Code Code Available The Isabelle ENIGMA May 4, 2022 Automated Theorem Proving
Code Code Available Scaling Synthetic Logical Reasoning Datasets with Context-Sensitive Declarative Grammars Jun 16, 2024 Automated Theorem Proving Logical Reasoning
Code Code Available 