Learning proofs for the classification of nilpotent semigroups

Apprentissage des preuves pour la classification des semigroupes

Carlos Simpson (1)

1 LJAD - Laboratoire Jean Alexandre Dieudonné

Machine learning is applied to find proofs, with smaller or smallest numbers of nodes, for the classification of 4-nilpotent semigroups.

Nous appliquons l''apprentissage par machine pour trouver des preuves, avec un petit nombre de noeuds, pour la classification des semigroupes 4-nilpotents

Mots clés: Semigroup; Machine learning; Reinforcement learning; Neural network; Convolution; Automated theorem proving

Domaines: Mathématiques [math]

Carlos Simpson. Learning proofs for the classification of nilpotent semigroups. 2021. ⟨hal-03251094⟩