Compiling Expert Procedures into Verified Programs: When a Small Model Is Enough.

arXiv:2610.19148v2 Announce Type: replace Abstract: In procedural tool-use domains, how much of the gap between base models is procedure rather than capability? We build an explicit program from a teacher's traces and run it in front of unchanged small models,