conftrace_

structured proof exploration

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

algorithmic search (1) structured proof (1) structured exploration (1) algorithm-guided search (1) cache mechanism (1) premise selection (1) reasoning verification (1) proof search (1) tree search (1) automated reasoning (1)

Papers

LogicTree: Structured Proof Exploration for Coherent and Rigorous Logical Reasoning with Large Language Models EMNLP 2025