Formal Mathematical Reasoning: A New Frontier in AI Dec 20, 2024 Automated Theorem Proving Math
— Unverified Formal Specifications from Natural Language Jun 4, 2022 Automated Theorem Proving
— Unverified Formal Theorem Proving by Rewarding LLMs to Decompose Proofs Hierarchically Nov 4, 2024 Automated Theorem Proving
— Unverified From the String Landscape to the Mathematical Landscape: a Machine-Learning Outlook Feb 12, 2022 Automated Theorem Proving BIG-bench Machine Learning
— Unverified From Width-Based Model Checking to Width-Based Automated Theorem Proving May 23, 2022 Automated Theorem Proving valid
— Unverified Generating Compressed Combinatory Proof Structures -- An Approach to Automated First-Order Theorem Proving Sep 26, 2022 Automated Theorem Proving
— Unverified Generating Millions Of Lean Theorems With Proofs By Exploring State Transition Graphs Feb 16, 2025 Automated Theorem Proving Mathematical Proofs
— Unverified Generative Language Modeling for Automated Theorem Proving Sep 7, 2020 Automated Theorem Proving Language Modeling
— Unverified Generative Learning of Continuous Data by Tensor Networks Oct 31, 2023 Automated Theorem Proving Tensor Networks
— Unverified Property Invariant Embedding for Automated Reasoning Nov 27, 2019 Automated Theorem Proving Graph Neural Network
— Unverified Prover Agent: An Agent-based Framework for Formal Mathematical Proofs Jun 24, 2025 AI Agent Automated Theorem Proving
— Unverified Proving the Coding Interview: A Benchmark for Formally Verified Code Generation Feb 8, 2025 Automated Theorem Proving Code Generation
— Unverified Proving Theorems using Incremental Learning and Hindsight Experience Replay Dec 20, 2021 Automated Theorem Proving Incremental Learning
— Unverified Quantum Machine Learning in Precision Medicine and Drug Discovery -- A Game Changer for Tailored Treatments? Feb 25, 2025 Automated Theorem Proving Drug Discovery
— Unverified Rare Speed-up in Automatic Theorem Proving Reveals Tradeoff Between Computational Time and Information Value Jun 14, 2015 Automated Theorem Proving
— Unverified READ-EVAL-PRINT in Parallel and Asynchronous Proof-checking Jul 8, 2013 Automated Theorem Proving
— Unverified Reasoning Models Can Be Effective Without Thinking Apr 14, 2025 Automated Theorem Proving Mathematical Problem-Solving
— Unverified Reasoning Under Threat: Symbolic and Neural Techniques for Cybersecurity Verification Mar 27, 2025 Automated Theorem Proving Formal Logic
— Unverified Reinforcement Learning of Theorem Proving May 19, 2018 Automated Theorem Proving reinforcement-learning
— Unverified Revealed Invariant Preference Aug 8, 2024 Automated Theorem Proving
— Unverified Review on DNA Strand Algebra and its Application Mar 4, 2019 Automated Theorem Proving
— Unverified Rewarding the Unlikely: Lifting GRPO Beyond Distribution Sharpening Jun 3, 2025 Automated Theorem Proving
— Unverified Robust Computer Algebra, Theorem Proving, and Oracle AI Aug 8, 2017 Automated Theorem Proving Question Answering
— Unverified RocqStar: Leveraging Similarity-driven Retrieval and Agentic Systems for Rocq generation May 28, 2025 Automated Theorem Proving Retrieval
— Unverified Scalable Neural Theorem Proving on Knowledge Bases and Natural Language May 1, 2019 Automated Theorem Proving Link Prediction
— Unverified Selection Strategies for Commonsense Knowledge Feb 18, 2022 Automated Theorem Proving Word Embeddings
— Unverified Semantic Parsing of Mathematics by Context-based Learning from Aligned Corpora and Theorem Proving Nov 29, 2016 Automated Theorem Proving Semantic Parsing
— Unverified Simple Dataset for Proof Method Recommendation in Isabelle/HOL (Dataset Description) Apr 21, 2020 Automated Theorem Proving BIG-bench Machine Learning
— Unverified Social Network Processes in the Isabelle and Coq Theorem Proving Communities Sep 22, 2016 Automated Theorem Proving
— Unverified TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning Feb 19, 2021 Automated Theorem Proving Deep Reinforcement Learning
— Unverified Task Success is not Enough: Investigating the Use of Video-Language Models as Behavior Critics for Catching Undesirable Agent Behaviors Feb 6, 2024 Automated Theorem Proving Game of Go
— Unverified TextGraphs-16 Natural Language Premise Selection Task: Zero-Shot Premise Selection with Prompting Generative Language Models Oct 1, 2022 Automated Theorem Proving Information Retrieval
— Unverified The Horn Non-Clausal Class and its Polynomiality Aug 31, 2021 Automated Theorem Proving
— Unverified The Limits of AI Explainability: An Algorithmic Information Theory Approach Apr 29, 2025 Automated Theorem Proving
— Unverified The Mathematical Game Sep 22, 2023 Automated Theorem Proving
— Unverified Theorem Proving Based on Semantics of DNA Strand Graph Feb 15, 2017 Automated Theorem Proving
— Unverified The Role of Entropy in Guiding a Connection Prover May 31, 2021 Automated Theorem Proving Decision Making
— Unverified Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers May 22, 2022 Automated Theorem Proving
— Unverified Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving Jun 20, 2025 Automated Theorem Proving Diversity
— Unverified Towards a Geometry Automated Provers Competition Feb 28, 2020 Automated Theorem Proving CPU
— Unverified Towards Automated Functional Equation Proving: A Benchmark Dataset and A Domain-Specific In-Context Agent Jul 5, 2024 Automated Theorem Proving In-Context Learning
— Unverified Towards Concise, Machine-discovered Proofs of Gödel's Two Incompleteness Theorems May 6, 2020 Automated Theorem Proving Vocal Bursts Valence Prediction
— Unverified Towards Evolutionary Theorem Proving for Isabelle/HOL Apr 17, 2019 Automated Theorem Proving
— Unverified Towards Formal Fault Tree Analysis using Theorem Proving May 8, 2015 Automated Theorem Proving
— Unverified Towards Machine Learning Induction Dec 4, 2018 Automated Theorem Proving BIG-bench Machine Learning
— Unverified Towards Neural Theorem Proving at Scale Jul 21, 2018 Automated Theorem Proving Representation Learning
— Unverified Towards Scientific Discovery with Generative AI: Progress, Opportunities, and Challenges Dec 16, 2024 Automated Theorem Proving scientific discovery
— Unverified Towards United Reasoning for Automatic Induction in Isabelle/HOL May 25, 2020 Automated Theorem Proving
— Unverified Training a First-Order Theorem Prover from Synthetic Data Mar 5, 2021 Automated Theorem Proving BIG-bench Machine Learning
— Unverified Translating SUMO-K to Higher-Order Set Theory May 13, 2023 Automated Theorem Proving Common Sense Reasoning
— Unverified 