conftrace_

proof search

13 papers

Explore in graph

Co-occurring keywords

automated theorem proving (39) automated reasoning (122) large language model (13587) language model (4599) deep reinforcement learning (903) theorem prover (13) neural theorem proving (9) tactic prediction (2) tree search (86) formal verification (284)

Papers

LogicTree: Structured Proof Exploration for Coherent and Rigorous Logical Reasoning with Large Language Models EMNLP 2025
Learning Formal Mathematics From Intrinsic Motivation NIPS 2024
Proving Olympiad Algebraic Inequalities without Human Demonstrations NIPS 2024
Learn from Failure: Fine-tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving ACL 2024
Proving Theorems Recursively NIPS 2024
DT-Solver: Automated Theorem Proving with Dynamic-Tree Sampling Guided by Proof-level Value Function ACL 2023
LAMBADA: Backward Chaining for Automated Reasoning in Natural Language ACL 2023
HyperTree Proof Search for Neural Theorem Proving NIPS 2022
TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning NIPS 2021
A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving AAAI 2021
Graph Representations for Higher-Order Logic and Theorem Proving AAAI 2020
Learning dynamic polynomial proofs NIPS 2019
Seeking Practical CDCL Insights from Theoretical SAT Benchmarks IJCAI 2018