Autoformalization with Large Language Models May 25, 2022 Automated Theorem Proving Program Synthesis
— Unverified HyperTree Proof Search for Neural Theorem Proving May 23, 2022 Automated Theorem Proving
— Unverified From Width-Based Model Checking to Width-Based Automated Theorem Proving May 23, 2022 Automated Theorem Proving valid
— Unverified Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers May 22, 2022 Automated Theorem Proving
— Unverified The Isabelle ENIGMA May 4, 2022 Automated Theorem Proving
Code Code Available Logically Consistent Adversarial Attacks for Soft Theorem Provers Apr 29, 2022 Automated Theorem Proving
Code Code Available Adversarial Learning to Reason in an Arbitrary Logic Apr 6, 2022 Automated Theorem Proving
— Unverified 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 Automated Reasoning in Non-classical Logics in the TPTP World Feb 20, 2022 Automated Theorem Proving Philosophy
— Unverified Selection Strategies for Commonsense Knowledge Feb 18, 2022 Automated Theorem Proving Word Embeddings
— Unverified From the String Landscape to the Mathematical Landscape: a Machine-Learning Outlook Feb 12, 2022 Automated Theorem Proving BIG-bench Machine Learning
— Unverified Vehicle: Interfacing Neural Network Verifiers with Interactive Theorem Provers Feb 10, 2022 Automated Theorem Proving
— Unverified Formal Mathematics Statement Curriculum Learning Feb 3, 2022 Automated Theorem Proving Language Modeling
Code Code Available Proceedings 10th International Workshop on Theorem Proving Components for Educational Software Feb 2, 2022 Automated Theorem Proving
— Unverified Proceedings of the 13th International Conference on Automated Deduction in Geometry Dec 28, 2021 Automated Theorem Proving
— Unverified Proving Theorems using Incremental Learning and Hindsight Experience Replay Dec 20, 2021 Automated Theorem Proving Incremental Learning
— Unverified Linear algebra with transformers Dec 3, 2021 Automated Theorem Proving Few-Shot Learning
Code Code Available Learning Symbolic Rules for Reasoning in Quasi-Natural Language Nov 23, 2021 Automated Theorem Proving Formal Logic
Code Code Available Logically Sound Arguments for the Effectiveness of ML Safety Measures Nov 4, 2021 Automated Theorem Proving
— Unverified Applying Second-Order Quantifier Elimination in Inspecting Gödel's Ontological Proof Oct 21, 2021 Automated Theorem Proving
— Unverified Proof Extraction for Logical Neural Networks Oct 8, 2021 Automated Theorem Proving
— Unverified An energy-based model for neuro-symbolic reasoning on knowledge graphs Oct 4, 2021 Automated Theorem Proving Graph Embedding
Code Code Available Linear algebra with transformers Sep 29, 2021 Automated Theorem Proving Few-Shot Learning
— Unverified Neural Unification for Logic Reasoning over Natural Language Sep 17, 2021 Automated Theorem Proving Question Answering
Code Code Available Proceedings 37th International Conference on Logic Programming (Technical Communications) Sep 15, 2021 Automated Theorem Proving Data Integration
— Unverified Conjectures, Tests and Proofs: An Overview of Theory Exploration Sep 7, 2021 Automated Theorem Proving Mathematical Reasoning
— Unverified AI Descartes: Combining Data and Theory for Derivable Scientific Discovery Sep 3, 2021 Automated Theorem Proving BIG-bench Machine Learning
Code Code Available MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics Aug 31, 2021 Automated Theorem Proving
Code Code Available The Horn Non-Clausal Class and its Polynomiality Aug 31, 2021 Automated Theorem Proving
— Unverified ProoFVer: Natural Logic Theorem Proving for Fact Verification Aug 25, 2021 Automated Theorem Proving counterfactual
Code Code Available Graph Contrastive Pre-training for Effective Theorem Reasoning Aug 24, 2021 Automated Theorem Proving Contrastive Learning
— Unverified Learning Theorem Proving Components Jul 21, 2021 Automated Theorem Proving Graph Neural Network
Code Code Available Learning to Guide a Saturation-Based Theorem Prover Jun 7, 2021 Automated Theorem Proving Graph Neural Network
— Unverified The Role of Entropy in Guiding a Connection Prover May 31, 2021 Automated Theorem Proving Decision Making
— Unverified NaturalProofs: Mathematical Theorem Proving in Natural Language Mar 24, 2021 Automated Theorem Proving Domain Generalization
Code Code Available Training a First-Order Theorem Prover from Synthetic Data Mar 5, 2021 Automated Theorem Proving BIG-bench Machine Learning
— Unverified TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning Feb 19, 2021 Automated Theorem Proving Deep Reinforcement Learning
— Unverified Proof Artifact Co-training for Theorem Proving with Language Models Feb 11, 2021 Automated Theorem Proving Imitation Learning
Code Code Available Learning Equational Theorem Proving Feb 10, 2021 Automated Theorem Proving Deep Reinforcement Learning
— Unverified Learning to Match Mathematical Statements with Proofs Feb 3, 2021 Articles Automated Theorem Proving
Code Code Available A Study of Continuous Vector Representationsfor Theorem Proving Jan 22, 2021 Automated Theorem Proving
— Unverified A Curious New Result of Resolution Strategies in Negation-Limited Inverters Problem Nov 2, 2020 Automated Theorem Proving Negation
— Unverified Learning as Abduction: Trainable Natural Logic Theorem Prover for Natural Language Inference Oct 29, 2020 Automated Theorem Proving Natural Language Inference
Code Code Available Proceedings 9th International Workshop on Theorem Proving Components for Educational Software Oct 28, 2020 Automated Theorem Proving
— Unverified Measuring Systematic Generalization in Neural Proof Generation with Transformers Sep 30, 2020 Automated Theorem Proving Logical Reasoning
Code Code Available Deriving Theorems in Implicational Linear Logic, Declaratively Sep 22, 2020 Automated Theorem Proving
— Unverified Proceedings 36th International Conference on Logic Programming (Technical Communications) Sep 19, 2020 Automated Theorem Proving Data Integration
— Unverified Generative Language Modeling for Automated Theorem Proving Sep 7, 2020 Automated Theorem Proving Language Modeling
— Unverified INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving Jul 6, 2020 Automated Theorem Proving
Code Code Available Modelling Value-oriented Legal Reasoning in LogiKEy Jun 23, 2020 Automated Theorem Proving Legal Reasoning
— Unverified 