TY - RPRT TI - Judging What We Cannot Solve: A Consequence-Based Approach for Oracle-Free Evaluation of Research-Level Math AU - Guijin Son AU - Donghun Yang AU - Hitesh Laxmichand Patel AU - Hyunwoo Ko AU - Amit Agarwal AU - Sunghee Ahn AU - Kyong-Ha Lee AU - Youngjae Yu PY - 2026 UR - https://arxiv.org/abs/2602.06291 ID - 2602.06291 ER -