Compiling expert procedures into verified programs: a small model suffices
Read the original at arxiv.org→arXiv:2610.19148v1 Announce Type: new 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...
Original headline: "Compiling Expert Procedures into Verified Programs: When a Small Model Is Enough"
Coverage timeline
- Oct 15, 04:00 UTC arXiv cs.AI lead source Compiling Expert Procedures into Verified Programs: When a Small Model Is Enough