{"type": "article", "title": "Characterizing initial human-AI proof formalization workflows", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/characterizing-initial-human-ai-proof-formalization-workflows", "original_source": "https://arxiv.org/abs/2606.04273", "published": "2026-06-04T04:00:00+00:00", "accessed": "2026-06-04", "id": "characterizing-initial-human-ai-proof-formalization-workflows"}