TY - RPRT TI - Correct Answers from Sound Reasoning: Verifiable Process Supervision for Language Models AU - Kyuyoung Kim AU - Kevin Wang AU - Yunfei Xie AU - Peiyang Xu AU - Peiyao Sheng AU - Chen Wei AU - Zhangyang Wang AU - Jinwoo Shin AU - Pramod Viswanath AU - Sewoong Oh PY - 2026 UR - https://arxiv.org/abs/2605.12519 ID - 2605.12519 ER -