@article{characterizinginitialhumanaiproofformali,
  title = {Characterizing initial human-AI proof formalization workflows},
  author = {Katherine M. Collins and Simon Frieder and Jonas Bayer and Jacob Loader and Jeck Lim and Peiyang Song and Fabian Zaiser and Lexin Zhou and Shanda Li and Sam Looi and Joshua B. Tenenbaum and Umang Bhatt and Adrian Weller and Jose Hernandez-Orallo and Cameron E. Freer and Valerie Chen and Ilia Sucholutsky},
  year = {2026},
  eprint = {2606.04273},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2606.04273},
}