conftrace_

automated theorem proving

39 papers

Explore in graph

Also known as

ATP

Co-occurring keywords

large language model (13587) reinforcement learning (4352) automated reasoning (122) proof search (13) first-order logic (171) premise selection (16) neural network (6616) language model (4599) mathematical reasoning (407) theorem proving (63)

Papers

TextGraphs-16 Natural Language Premise Selection Task: Zero-Shot Premise Selection with Prompting Generative Language Models COLING 2022
Learning to Find Proofs and Theorems by Learning to Refine Search Strategies: The Case of Loop Invariant Synthesis NIPS 2022
Parsing as Deduction Revisited: Using an Automatic Theorem Prover to Solve an SMT Model of a Minimalist Parser EMNLP 2022
HyperTree Proof Search for Neural Theorem Proving NIPS 2022
Keyword-based Natural Language Premise Selection for an Automatic Mathematical Statement Proving COLING 2022
A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving AAAI 2021
Faster Smarter Proof by Induction in Isabelle/HOL IJCAI 2021
Neural Unification for Logic Reasoning over Natural Language EMNLP 2021
Bayesian Optimisation for Premise Selection in Automated Theorem Proving (Student Abstract) AAAI 2020
Logical Inferences with Comparatives and Generalized Quantifiers ACL 2020
Learning to Prove Theorems by Learning to Generate Theorems NIPS 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 NIPS 2016