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

Rui Li, Shuang Cao

Browse the full ACL paper archive.