Auditing LLM Program Search for Bermudan Stopping with Primal--Dual Certificates.

arXiv:2610.14063v1 Announce Type: cross 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 Bermudan options, an optimal stopping problem where a trusted eva