Detection Is Not Enough: Reasoning Traces as Testable Program Hypotheses.

arXiv:2610.30200v1 Announce Type: cross Abstract: When a language model is deployed, no reference solution exists, so the reasoning trace it writes is the only evidence for judging its answer. The reference-free substitutes each fail differently: self-assessme