The Latent Space of Equational Theories

Luis Berlioz, Paul-André Melliès

Building on the collaborative Equational Theories project initiated by Terence Tao fifteen months ago, and combining it with ideas coming from machine learning and finite model the…