conftrace_

verifier-guided reasoning

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

inference-time search (1) reasoning graph (1) directed acyclic graph (1) genetic algorithm (1) code generation (1)

Papers

From Trajectories to Graphs: Contract-Checked Editing for Verifier-Guided LLM Reasoning ACL 2026