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.

← Back to all developments · Signals are a development reported by more than one source. See the methodology.