Author

Michail Karatarakis

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Sep 2026

A Local Approach to Monogenity with an Application to Lenny Jones'Conjecture

The study of monogenic polynomials is a classical problem in algebraic number theory. Existing criteria for deciding whether a polynomial is monogenic typically rely on discriminant computations together with methods such as Dedekind's criterion, Newton polygons, or valuation-theoretic techniques. In this paper, we dev...

Michail Karatarakis, Sumandeep Kaur · 0 citations

#machine learning Dec 2025

Formalized Hopfield Networks and Boltzmann Machines

This work formalizes Hopfield networks, whose probabilistic updates converge to a stationary distribution, and stochastic networks, whose probabilistic updates converge to a stationary distribution, via a new formalization of the Perron--Frobenius theorem.

Matteo Cipollina, Michail Karatarakis, F. Wiedijk · arXiv.org · 3 citations