conftrace_

proof verification

7 papers

Explore in graph

Co-occurring keywords · papers mentioning both

large language model (4) formal proof (2) automated reasoning (2) mathematical reasoning (2) theorem proving (2) randomized approximation (1) verifiable computation (1) dynamic tree (1) proof construction (1) polynomial verification (1)

Papers

Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations ACL 2025 Stress-Testing the Reasoning Competence of Language Models With Formal Proofs EMNLP 2025 Synthetic Proofs with Tool-Integrated Reasoning: Contrastive Alignment for LLM Mathematics with Lean EMNLP 2025 PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition NeurIPS 2024 DT-Solver: Automated Theorem Proving with Dynamic-Tree Sampling Guided by Proof-level Value Function ACL 2023 Trustworthy Monte Carlo NeurIPS 2022 Unsatisfiability Proofs for Weight 16 Codewords in Lam's Problem IJCAI 2020