ABACUS: Program-Guided Multistep Reasoning over Frozen Judgment Models.

arXiv:2610.25963v1 Announce Type: new Abstract: Judgment models answer semantic questions by scoring a finite set of candidate outcomes. Can reusable programs turn these local decisions into powerful multistep reasoning? We introduce \method, a framework that