conftrace_

algorithmic search

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

structured proof exploration (1) structured proof (1) declarative program (1) parser optimization (1) asymptotic runtime (1) structured exploration (1) algorithm-guided search (1) cache mechanism (1) program transformation (1) premise selection (1)

Papers

LogicTree: Structured Proof Exploration for Coherent and Rigorous Logical Reasoning with Large Language Models EMNLP 2025 Searching for More Efficient Dynamic Programs EMNLP 2021