A Closed-Form Solution for Fast and Reliable Adaptive Testing. - Yan Zhuang 001; Chenye Ke; Zirui Liu 010; Qi Liu 003; Yuting Ning; Zhenya Huang; Weizhe Huang; Qingyang Mao; Shijin Wang 001 (NeurIPS, 2025)