SEP 9, 2026 · PREPRINT
Proof-Carrying Cognition: Closing the Verification Gap with Reality-Settled Reward
arXiv
This preprint presents theoretical modeling, controlled demonstrations in formal domains (program synthesis), and a proposed paradigm without peer review or evidence of real-world clinical or deployed reasoning system validation.
Reported
Unsound verifier soundness degrad…0.94 to 0.32
Best-of-N budget (N)4096
Hacking gap reduction via reality…~0.27 to ~0