interwhen: ASU-Microsoft Research framework for test-time verification of reasoning traces accepted at NeurIPS
rao2z · x · 2026-09-25
The interwhen paper, a Microsoft Research India project involving Subbarao Kambhampati's group, has been accepted to NeurIPS. It extends the LLM-Modulo generate-test framework to verify reasoning processes rather than just final answers.
- Single-trajectory verification: periodically polls the reasoning trace and forks model inference to recover intermediate states, avoiding costly multi-branch exploration
- Asynchronous, near-zero overhead: verifiers run alongside generation and intervene only on policy violations
- Automatic verifier synthesis: generates verifiers from natural-language policy documents, addressing verifier scarcity beyond math and code
The core claim: steering reasoning models requires checking the process itself, and interwhen offers a generalizable way to do it at test time.
Related event: Interwhen: single-trajectory verification framework accepted at NeurIPS(2 posts)→
More from Research
- Mathematicians face an identity crisis as AI solves problems no one can verify — ValerioCapraro · 2026-11-11
- Trainable JWST model boosts exoplanet sensitivity 2–15x in Nature paper — bravo_abad · 2026-11-11
- Ben Todd's alt log-log plot shows task horizons hitting a singularity in under 12 months — ben_j_todd · 2026-11-11
- Eva Jablonka's concept links aphantasia to the evolution of language — AnnaCiaunica · 2026-11-11
- BioAgent-DF: silent hardware faults can alter AI science agents' decisions invisibly — INTOSYN-AI-Labs · 2026-11-11
- Mobile AI Factory: agentic pipeline builds on-device SLMs that beat 5-shot frontier models — kalyan_kpl · 2026-11-11