Hanbin Yang

According to our database, Hanbin Yang authored at least 2 papers in 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

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, July, 2025

FICA: Faster Inner Convex Approximation of Chance Constrained Grid Dispatch with Decision-Coupled Uncertainty.

Yihong Zhou, Hanbin Yang, Thomas Morstyn

CoRR, June, 2025