TY  - RPRT
TI  - PACE: Research Proving Agent for Adaptive Conjecture Exploration
AU  - Shu Miao
AU  - Feiming Wang
AU  - Wentao Long
AU  - Chenyi Li
AU  - Kun Yuan
AU  - Zaiwen Wen
PY  - 2026
UR  - https://arxiv.org/abs/2610.33690
ID  - 2610.33690
ER  -