Learning proofs for the classification of nilpotent semigroups
Machine Learning
2021-06-08 v1 Logic
Rings and Algebras
Abstract
Machine learning is applied to find proofs, with smaller or smallest numbers of nodes, for the classification of 4-nilpotent semigroups.
Cite
@article{arxiv.2106.03015,
title = {Learning proofs for the classification of nilpotent semigroups},
author = {Carlos Simpson},
journal= {arXiv preprint arXiv:2106.03015},
year = {2021}
}