AIBullisharXiv – CS AI · 8h ago6/10
🧠
Characterizing initial human-AI proof formalization workflows
Researchers conducted mixed-methods studies on how mathematicians use AI tools to formalize proofs, finding that users prefer AI assistance while maintaining high-level control over proof discovery. A controlled user study showed participants achieved higher formalization accuracy with AI access than without, despite current tool limitations.