TY  - RPRT
TI  - Human agency in initial human-AI proof formalization workflows
AU  - Katherine M. Collins
AU  - Simon Frieder
AU  - Jonas Bayer
AU  - Jacob Loader
AU  - Jeck Lim
AU  - Peiyang Song
AU  - Fabian Zaiser
AU  - Lexin Zhou
AU  - Shanda Li
AU  - Sam Looi
AU  - Joshua B. Tenenbaum
AU  - Umang Bhatt
AU  - Adrian Weller
AU  - Jose Hernandez-Orallo
AU  - Cameron E. Freer
AU  - Valerie Chen
AU  - Ilia Sucholutsky
PY  - 2026
UR  - https://arxiv.org/abs/2606.04273
ID  - 2606.04273
ER  -