conftrace_

algorithm-guided search

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

structured exploration (1) structured proof exploration (1) algorithmic search (1) structured proof (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