TY  - RPRT
TI  - Statistical Proof as a Window into Human-AI Collaboration: Practical Insights and a Community Agenda
AU  - Xiaojing Sun
AU  - Huayu Tang
AU  - Buxin Su
AU  - Mateo Matijasevick
AU  - Chong Wu
AU  - Fei Xue
AU  - Bingxin Zhao
PY  - 2026
UR  - https://arxiv.org/abs/2606.23666
ID  - 2606.23666
ER  -