AI Impact on Human Proof Formalization Workflows

Published in The 5th Workshop on Mathematical Reasoning and AI at NeurIPS 2025, 2025

Recommended citation: 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 Shi-Zhuo Looi and Jose Hernandez-Orallo and Joshua B Tenenbaum and Cameron Freer and Umang Bhatt and Adrian Weller and Valerie Chen and Ilia Sucholutsky, "AI Impact on Human Proof Formalization Workflows." The 5th Workshop on Mathematical Reasoning and AI at NeurIPS 2025, 2025. https://openreview.net/forum?id=D7I8fVkMVs