theorem proving

BC-Prover: Backward Chaining Prover for Formal Theorem Proving EMNLP 2024 Benchmarking Automated Theorem Proving with Large Language Models EMNLP 2024 FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving NeurIPS 2024 Harnessing the Power of Large Language Models for Natural Language to First-Order Logic Translation ACL 2024 Inductive Invariants That Spark Joy: Using Invariant Taxonomies to Streamline Distributed Protocol Proofs OSDI 2024 Lean Workbook: A large-scale Lean problem set formalized from natural language math problems NeurIPS 2024 Learning Formal Mathematics From Intrinsic Motivation NeurIPS 2024 Lemur: Integrating Large Language Models in Automated Program Verification ICLR 2024 Llemma: An Open Language Model for Mathematics ICLR 2024 MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data ICLR 2024 Primal Grammars Driven Automated Induction IJCAI 2024 REFACTOR: Learning to Extract Theorems from Proofs ICLR 2024 Scaling Synthetic Logical Reasoning Datasets with Context-Sensitive Declarative Grammars EMNLP 2024 TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts EMNLP 2024 Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving EMNLP 2024 A Survey of Deep Learning for Mathematical Reasoning ACL 2023 Formally Verified SAT-Based AI Planning AAAI 2023 Formal Mathematics Statement Curriculum Learning ICLR 2023 Knowledge Injection for Disease Names in Logical Inference between Japanese Clinical Texts ACL 2023 LeanDojo: Theorem Proving with Retrieval-Augmented Language Models NeurIPS 2023 LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers EMNLP 2023 SatLM: Satisfiability-Aided Language Models Using Declarative Prompting NeurIPS 2023 TheoremQA: A Theorem-driven Question Answering Dataset EMNLP 2023 Autoformalization with Large Language Models NeurIPS 2022 Formal Semantics and Formally Verified Validation for Temporal Planning AAAI 2022