Michail Karatarakis

According to our database, Michail Karatarakis authored at least 2 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Exploring proof autoformalization with Mistral on Herald.

Lucy Horowitz, Michail Karatarakis, Xuandi Ren, Alejandro Sanchez Ocegueda

Proceedings of the Intelligent Computer Mathematics - 18th International Conference, 2025

2024

A Formalization of All Notions in the Statement of a Theorem by Deligne.

Michail Karatarakis

Proceedings of the Intelligent Computer Mathematics - 17th International Conference, 2024