Learning proofs for the classification of nilpotent semigroups

2021/06/06 by Carlos Simpson, Simpson, Carlos · 1 citation
Computer Science · Mathematics · #Algebra over a field #Computer science #Discrete mathematics #Machine Learning and Algorithms #Mathematical proof #Mathematics #Nilpotent #Pure mathematics #Rough Sets and Fuzzy Logic #cs.LG #math.LO #math.RA #msc:03B35 #msc:03F07 #msc:20M10 #msc:68T15 #semigroups and automata theory

paper · pdf · doi:10.48550/arxiv.2106.03015

published in arXiv (Cornell University) (Cornell University)

arxiv created 2021/06/06 · openalex publication_date 2021/06/06 · arxiv updated 2021/06/08 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

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

Citations

• ImageNet classification with deep convolutional neural networks
• Mastering Chess and Shogi by Self-Play with a General Reinforcement Learning Algorithm
• A Neural Network for Semigroups
• Constructions in combinatorics via neural networks

Related

• Commutators in Completely Simple Semigroups
• Master List of Examples in Complexity Theory of Finite Semigroup Theory
• Computing denumerants in numerical 3-semigroups
• An Effective Lower Bound for Group Complexity of Finite Semigroups and Automata
• Minsky machines and algorithmic problems