conftrace_

structured proof

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

structured proof exploration (1) algorithmic search (1) backward chaining (1) logical inference (1) structured exploration (1) algorithm-guided search (1) large language model (1) cache mechanism (1) natural language reasoning (1) proof generation (1)

Papers

LogicTree: Structured Proof Exploration for Coherent and Rigorous Logical Reasoning with Large Language Models EMNLP 2025 SymBa: Symbolic Backward Chaining for Structured Natural Language Reasoning NAACL 2025