FICA: Faster Inner Convex Approximation of Chance Constrained Grid Dispatch with Decision-Coupled Uncertainty. - Yihong Zhou; Hanbin Yang; Thomas Morstyn (CoRR, 2025)

Clarifying Before Reasoning: A Coq Prover with Structural Context. - Yanzhen Lu; Hanbin Yang; Xiaodie Wang; Ge Zhang; Biao Li; Chenxu Fu; Chao Li; Yang Yuan; Andrew Chi-Chih Yao (CoRR, 2025)