Michail Karatarakis

According to our database, Michail Karatarakis authored at least 4 papers between 2024 and 2026.

Collaborative distances:

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

2026

A formalization of the Gelfond-Schneider theorem.

Michail Karatarakis, Freek Wiedijk

CoRR, March, 2026

2025

Formalized Hopfield Networks and Boltzmann Machines.

Matteo Cipollina, Michail Karatarakis, Freek Wiedijk

CoRR, December, 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