A Formalization of All Notions in the Statement of a Theorem by Deligne. - Michail Karatarakis (CICM, 2024)

Exploring proof autoformalization with Mistral on Herald. - Lucy Horowitz; Michail Karatarakis; Xuandi Ren; Alejandro Sanchez Ocegueda (CICM, 2025)