conftrace_

explanation refinement

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

proof construction (1) proof verification (1) large language model (1) proof sketch (1) theorem prover (1) formal verification (1) natural language inference (1) theorem proving (1) logical reasoning (1)

Papers

Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations ACL 2025