automated theorem proving

On Discovering Interesting Combinatorial Integer Sequences IJCAI 2023 TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models EMNLP 2023 HyperTree Proof Search for Neural Theorem Proving NeurIPS 2022 Keyword-based Natural Language Premise Selection for an Automatic Mathematical Statement Proving COLING 2022 Learning to Find Proofs and Theorems by Learning to Refine Search Strategies: The Case of Loop Invariant Synthesis NeurIPS 2022 TextGraphs-16 Natural Language Premise Selection Task: Zero-Shot Premise Selection with Prompting Generative Language Models COLING 2022 Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers NeurIPS 2022 A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving AAAI 2021 Faster Smarter Proof by Induction in Isabelle/HOL IJCAI 2021 INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving ICLR 2021 Neural Unification for Logic Reasoning over Natural Language EMNLP 2021 Bayesian Optimisation for Premise Selection in Automated Theorem Proving (Student Abstract) AAAI 2020 Learning to Prove Theorems by Learning to Generate Theorems NeurIPS 2020 Logical Inferences with Comparatives and Generalized Quantifiers ACL 2020 HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving ICML 2019 nanoCoP: Natural Non-clausal Theorem Proving IJCAI 2017 DeepMath - Deep Sequence Models for Premise Selection NeurIPS 2016