conftrace_

proof reasoning

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

large language model (2) reasoning communication (1) skill library (1) recency bia (1) proof interpretation (1) reasoning reliability (1) natural language explanation (1) formal proof (1) neural theorem proving (1) language model (1)

Papers

ProofTeller: Exposing recency bias in LLM reasoning and its side effects on communication IJCNLP 2025 LEGO-Prover: Neural Theorem Proving with Growing Libraries ICLR 2024