Auditing LLM Program Search for Bermudan Stopping with Primal--Dual Certificates
arXiv:2610.14063v1 Announce Type: new Abstract: LLM program-search agents are usually judged by the score that drives their search. We study LLM-driven search over Python exercise policies for Bermuda