REFACTOR: Learning to Extract Theorems from Proofs Feb 26, 2024 Automated Theorem Proving
Code Code Available An Empirical Study of Data Ability Boundary in LLMs' Math Reasoning Feb 23, 2024 Arithmetic Reasoning Automated Theorem Proving
Code Code Available MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data Feb 14, 2024 Automated Theorem Proving Language Modelling
Code Code Available EvoGPT-f: An Evolutionary GPT Framework for Benchmarking Formal Math Languages Feb 12, 2024 Automated Theorem Proving Benchmarking
— Unverified 0-1 laws for pattern occurrences in phylogenetic trees and networks Feb 7, 2024 10-shot image generation
— 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 Automated Completion of Statements and Proofs in Synthetic Geometry: an Approach based on Constraint Solving Jan 22, 2024 Automated Theorem Proving
Code Code Available Graph2Tac: Online Representation Learning of Formal Math Concepts Jan 5, 2024 AI Agent Automated Theorem Proving
— Unverified Enhancing Neural Theorem Proving through Data Augmentation and Dynamic Sampling Method Dec 20, 2023 Automated Theorem Proving Data Augmentation
— Unverified Automated Planning Techniques for Elementary Proofs in Abstract Algebra Dec 11, 2023 Abstract Algebra Automated Theorem Proving
— Unverified Large Language Models' Understanding of Math: Source Criticism and Extrapolation Nov 12, 2023 Automated Theorem Proving Math
— Unverified Generative Learning of Continuous Data by Tensor Networks Oct 31, 2023 Automated Theorem Proving Tensor Networks
— Unverified math-PVS: A Large Language Model Framework to Map Scientific Publications to PVS Theories Oct 25, 2023 Automated Theorem Proving Language Modeling
— Unverified TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models Oct 16, 2023 Automated Theorem Proving Benchmarking
Code Code Available Llemma: An Open Language Model For Mathematics Oct 16, 2023 Arithmetic Reasoning Automated Theorem Proving
Code Code Available An In-Context Learning Agent for Formal Theorem-Proving Oct 6, 2023 Automated Theorem Proving In-Context Learning
Code Code Available LEGO-Prover: Neural Theorem Proving with Growing Libraries Oct 1, 2023 Automated Theorem Proving
Code Code Available Lyra: Orchestrating Dual Correction in Automated Theorem Proving Sep 27, 2023 Automated Theorem Proving Hallucination
Code Code Available The Mathematical Game Sep 22, 2023 Automated Theorem Proving
— Unverified FIMO: A Challenge Formal Dataset for Automated Theorem Proving Sep 8, 2023 Automated Theorem Proving
Code Code Available Math Agents: Computational Infrastructure, Mathematical Embedding, and Genomics Jul 4, 2023 Automated Theorem Proving Math
— Unverified LeanDojo: Theorem Proving with Retrieval-Augmented Language Models Jun 27, 2023 Automated Theorem Proving GPU
Code Code Available Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving May 25, 2023 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 An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations May 15, 2023 Automated Theorem Proving Transfer Learning
Code Code Available Translating SUMO-K to Higher-Order Set Theory May 13, 2023 Automated Theorem Proving Common Sense Reasoning
— Unverified Planning as Theorem Proving with Heuristics Mar 23, 2023 Automated Theorem Proving
— Unverified Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving Mar 16, 2023 Automated Theorem Proving Probabilistic Programming
— Unverified Can neural networks do arithmetic? A survey on the elementary numerical skills of state-of-the-art deep learning models Mar 14, 2023 Automated Theorem Proving Deep Learning
— Unverified Lemmas: Generation, Selection, Application Mar 10, 2023 Automated Theorem Proving
Code Code Available Proceedings 11th International Workshop on Theorem Proving Components for Educational Software Mar 9, 2023 Automated Theorem Proving
— Unverified Magnushammer: A Transformer-Based Approach to Premise Selection Mar 8, 2023 Automated Theorem Proving Language Modeling
— Unverified ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics Feb 24, 2023 Abstract Algebra Automated Theorem Proving
Code Code Available Anti-unification and Generalization: A Survey Feb 1, 2023 Automated Theorem Proving Survey
— Unverified EuclidNet: Deep Visual Reasoning for Constructible Problems in Geometry Dec 27, 2022 Automated Theorem Proving Visual Reasoning
— Unverified Parsel: Algorithmic Reasoning with Language Models by Composing Decompositions Dec 20, 2022 Automated Theorem Proving Code Generation
Code Code Available Solving Quantified Modal Logic Problems by Translation to Classical Logics Dec 19, 2022 Automated Theorem Proving Translation
Code Code Available Peano: Learning Formal Mathematical Reasoning Nov 29, 2022 Automated Theorem Proving Mathematical Reasoning
Code Code Available Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs Oct 21, 2022 Automated Theorem Proving Language Modeling
Code Code Available 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 Keyword-based Natural Language Premise Selection for an Automatic Mathematical Statement Proving Oct 1, 2022 Automated Theorem Proving Information Retrieval
— Unverified Generating Compressed Combinatory Proof Structures -- An Approach to Automated First-Order Theorem Proving Sep 26, 2022 Automated Theorem Proving
— Unverified Proceedings 38th International Conference on Logic Programming Aug 4, 2022 Automated Theorem Proving Data Integration
— Unverified CD Tools -- Condensed Detachment and Structure Generating Theorem Proving (System Description) Jul 18, 2022 Automated Theorem Proving
— Unverified Learning to Prove Trigonometric Identities Jul 14, 2022 Automated Theorem Proving Imitation Learning
— Unverified Exploring Length Generalization in Large Language Models Jul 11, 2022 Automated Theorem Proving In-Context Learning
— Unverified Constrained Training of Neural Networks via Theorem Proving Jul 8, 2022 Automated Theorem Proving Code Generation
— Unverified Formal Specifications from Natural Language Jun 4, 2022 Automated Theorem Proving
— Unverified Learning to Find Proofs and Theorems by Learning to Refine Search Strategies: The Case of Loop Invariant Synthesis May 27, 2022 Automated Theorem Proving Program Synthesis
— Unverified NaturalProver: Grounded Mathematical Proof Generation with Language Models May 25, 2022 Automated Theorem Proving Language Modeling
Code Code Available 