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 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 Solving Quantified Modal Logic Problems by Translation to Classical Logics Dec 19, 2022 Automated Theorem Proving Translation
Code Code Available Keyword-based Natural Language Premise Selection for an Automatic Mathematical Statement Proving Oct 1, 2022 Automated Theorem Proving Information Retrieval
— 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 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 Autoformalization with Large Language Models May 25, 2022 Automated Theorem Proving Program Synthesis
— Unverified From Width-Based Model Checking to Width-Based Automated Theorem Proving May 23, 2022 Automated Theorem Proving valid
— Unverified HyperTree Proof Search for Neural Theorem Proving May 23, 2022 Automated Theorem Proving
— 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 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 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 Linear algebra with transformers Sep 29, 2021 Automated Theorem Proving Few-Shot Learning
— Unverified 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 The Horn Non-Clausal Class and its Polynomiality Aug 31, 2021 Automated Theorem Proving
— Unverified Graph Contrastive Pre-training for Effective Theorem Reasoning Aug 24, 2021 Automated Theorem Proving Contrastive Learning
— Unverified 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 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 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 