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

CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization ACL 2026
Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4 ACL 2026
Benchmarking Testing in Automated Theorem Proving ACL 2026
EconProver: Towards More Economical Test-Time Scaling for Automated Theorem Proving ACL 2026
Gold-Medal-Level Olympiad Geometry Solving with Efficient Heuristic Auxiliary Constructions ACL 2026
Automated Proof of Polynomial Inequalities via Reinforcement Learning CVPR 2025
QDTSynth: Quality-Driven Formal Theorem Synthesis for Enhancing Proving Performance of LLMs ACL 2025
A Theorem-Proving-Based Evaluation of Neural Semantic Parsing EMNLP 2025
Entailment-Preserving First-order Logic Representations in Natural Language Entailment ACL 2025
Local Look-Ahead Guidance via Verifier-in-the-Loop for Automated Theorem Proving ACL 2025
Proving Theorems Recursively NIPS 2024
FVEL: Interactive Formal Verification Environment with Large Language Models via Theorem Proving NIPS 2024
Proving Olympiad Algebraic Inequalities without Human Demonstrations NIPS 2024
Interactive Theorem Provers: Applications in AI, Opportunities, and Challenges AAAI 2024
Learn from Failure: Fine-tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving ACL 2024
Selene: Pioneering Automated Proof in Software Verification ACL 2024
Autoformalize Mathematical Statements by Symbolic Equivalence and Semantic Consistency NIPS 2024
TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models EMNLP 2023
From Width-Based Model Checking to Width-Based Automated Theorem Proving AAAI 2023
Anti-unification and Generalization: A Survey IJCAI 2023
DT-Solver: Automated Theorem Proving with Dynamic-Tree Sampling Guided by Proof-level Value Function ACL 2023
An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations IJCAI 2023
LINC: A Neurosymbolic Approach for Logical Reasoning by Combining Language Models with First-Order Logic Provers EMNLP 2023
On Discovering Interesting Combinatorial Integer Sequences IJCAI 2023
Thor: Wielding Hammers to Integrate Language Models and Automated Theorem Provers NIPS 2022