LiveMathematicianBench: A Live Benchmark for Mathematician-Level Reasoning with Proof Sketches
Linyang He, Qiyao Yu, Hanze Dong, Baohao Liao, Xinxing Xu, Micah Goldblum, Jiang Bian, N. Mesgarani
April 2026
arXiv | April 2026
Xinxing Xu
Principal Research Manager, Microsoft Research Asia Singapore
出版物
-
-
-
-
EvoTest: Evolutionary Test-Time Learning for Self-Improving Agentic Systems
Yufei He, Juncheng Liu, Yue Liu, Yibo Li, Tri Cao, Zhiyuan Hu, Xinxing Xu, Bryan Hooi
ICLR 2026 | October 2025
-
-
-
LiveMathematicianBench: A Live Benchmark for Mathematician-Level Reasoning with Proof Sketches
Linyang He, Qiyao Yu, Hanze Dong, Baohao Liao, Xinxing Xu, Micah Goldblum, Jiang Bian, N. Mesgarani
April 2026
arXiv | April 2026
-
EvoTest: Evolutionary Test-Time Learning for Self-Improving Agentic Systems
Yufei He, Juncheng Liu, Yue Liu, Yibo Li, Tri Cao, Zhiyuan Hu, Xinxing Xu, Bryan Hooi
ICLR 2026 | October 2025
-
-
-
LiveMathematicianBench: A Live Benchmark for Mathematician-Level Reasoning with Proof Sketches
Linyang He, Qiyao Yu, Hanze Dong, Baohao Liao, Xinxing Xu, Micah Goldblum, Jiang Bian, N. Mesgarani
April 2026
arXiv | April 2026
-
-
-
EvoTest: Evolutionary Test-Time Learning for Self-Improving Agentic Systems
Yufei He, Juncheng Liu, Yue Liu, Yibo Li, Tri Cao, Zhiyuan Hu, Xinxing Xu, Bryan Hooi
ICLR 2026 | October 2025
-