conftrace_

structured exploration

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

algorithm-guided search (1) structured proof exploration (1) algorithmic search (1) structured proof (1) dependency graph (1) offline data (1) cache mechanism (1) premise selection (1) reasoning verification (1) proof search (1)

Papers

LogicTree: Structured Proof Exploration for Coherent and Rigorous Logical Reasoning with Large Language Models EMNLP 2025 Learning Achievement Structure for Structured Exploration in Domains with Sparse Reward ICLR 2023