Characterizing initial human-AI proof formalization workflows

En 3 lignesÉtude mixte sur l'intégration de l'IA dans les workflows de formalisation de preuves mathématiques. Enquête qualitative + user study contrôlée montrent que les mathématiciens préfèrent conserver le contrôle haut niveau, mais obtiennent une meilleure précision avec accès aux outils IA, en combinant plusieurs modèles.

Résumé généré par Claude — vérifié par l'humain