Characterizing initial human-AI proof formalization workflows

In three linesMixed-methods study on AI integration into mathematical proof formalization workflows. Qualitative survey plus controlled user study show mathematicians prefer high-level control but achieve better formalization accuracy with AI tool access, flexibly combining multiple models.

Summary generated by Claude — human-verified