conftrace_

proof construction

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

large language model (2) explanation refinement (1) proof verification (1) reasoning structure (1) proof sketch (1) multi-step reasoning (1) structured reasoning (1) theorem prover (1) formal verification (1) in-context learning (1)

Papers

Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations ACL 2025 Exploring the Role of Reasoning Structures for Constructing Proofs in Multi-Step Natural Language Reasoning with Large Language Models EMNLP 2024