Formalized Hopfield Networks and Boltzmann Machines. - Matteo Cipollina; Michail Karatarakis; Freek Wiedijk (CoRR, 2025)