theorem proving

NaturalProver: Grounded Mathematical Proof Generation with Language Models NeurIPS 2022 Proof Artifact Co-Training for Theorem Proving with Language Models ICLR 2022 Proving Theorems using Incremental Learning and Hindsight Experience Replay ICML 2022 Towards Autoformalization of Mathematics and Code Correctness: Experiments with Elementary Proofs EMNLP 2022 IsarStep: a Benchmark for High-level Mathematical Reasoning ICLR 2021 Automatic Verification of Liveness Properties in the Situation Calculus AAAI 2020 Graph Representations for Higher-Order Logic and Theorem Proving AAAI 2020 Measuring Systematic Generalization in Neural Proof Generation with Transformers NeurIPS 2020 Premise Selection in Natural Language Mathematical Texts ACL 2020 PRover: Proof Generation for Interpretable Reasoning over Rules EMNLP 2020 GamePad: A Learning Environment for Theorem Proving ICLR 2019 HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving ICML 2019 Multimodal Logical Inference System for Visual-Textual Entailment ACL 2019 Consistent CCG Parsing over Multiple Sentences for Improved Logical Reasoning NAACL 2018 Reinforcement Learning of Theorem Proving NeurIPS 2018 COVER: Covering the Semantically Tractable Questions EACL 2017 KSP: A Resolution-based Prover for Multimodal K, Abridged Report IJCAI 2017 LangPro: Natural Language Theorem Prover EMNLP 2017 On-demand Injection of Lexical Knowledge for Recognising Textual Entailment EACL 2017 Premise Selection for Theorem Proving by Deep Graph Embedding NeurIPS 2017 CertiKOS: An Extensible Architecture for Building Certified Concurrent OS Kernels OSDI 2016 An Instantiation-Based Theorem Prover for First-Order Programming AISTATS 2011