conftrace_

theorem prover

13 papers

Explore in graph

Also known as

TP

Co-occurring keywords

theorem proving (63) automated theorem proving (39) large language model (13587) formal verification (284) logical reasoning (310) neural network (6616) proof search (13) synthetic data generation (590) automated reasoning (122) symbolic reasoning (189)

Papers

Theorem Prover as a Judge for Synthetic Data Generation ACL 2025
Assessing the Sensitivity and Alignment of FOL Closeness Metrics EMNLP 2025
MASA: LLM-Driven Multi-Agent Systems for Autoformalization EMNLP 2025
Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations ACL 2025
Proving Theorems Recursively NIPS 2024
TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning NIPS 2021
Conversational Neuro-Symbolic Commonsense Reasoning AAAI 2021
Learning to Prove Theorems by Learning to Generate Theorems NIPS 2020
Bayesian Optimisation for Premise Selection in Automated Theorem Proving (Student Abstract) AAAI 2020
Certifying the True Error: Machine Learning in Coq with Verified Generalization Guarantees AAAI 2019
HOList: An Environment for Machine Learning of Higher Order Logic Theorem Proving ICML 2019
COVER: Covering the Semantically Tractable Questions EACL 2017
On-demand Injection of Lexical Knowledge for Recognising Textual Entailment EACL 2017