conftrace_

natural language proof

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

deductive additivity (1) single-step reasoning contrast (1) premise embedding (1) verifier-guided search (1) stepwise generation (1) planning heuristics (1) large language model (1) hypothesis verification (1) natural language reasoning (1) proof generation (1)

Papers

P-FOLIO: Evaluating and Improving Logical Reasoning with Abundant Human-Written Reasoning Chains EMNLP 2024 Deductive Additivity for Planning of Natural Language Proofs ACL 2023 Generating Natural Language Proofs with Verifier-Guided Search EMNLP 2022