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