conftrace_

automatic theorem proving

2 papers

Explore in graph

Also known as

ATP

Co-occurring keywords · papers mentioning both

syntactic derivation (1) minimalist grammar (1) large language model (1) smt solver (1) tree search (1) best-first search (1) syntactic parsing (1) direct preference optimization (1) constraint solving (1)

Papers

BFS-Prover: Scalable Best-First Tree Search for LLM-based Automatic Theorem Proving ACL 2025 Parsing as Deduction Revisited: Using an Automatic Theorem Prover to Solve an SMT Model of a Minimalist Parser CoNLL 2022