Proof-Carrying Cognition: Closing the Verification Gap with Reality-Settled Reward
This work argues the field's binding constraint is the verification gap: no scalable, incorruptible reward for reasoning outside formal domains, and specifies Soundness-under-Pressure as the headline metric for a reality-settled reasoning benchmark.
M. EshwarReddy, Sourav Karmakar
· 0 citations