[7] Alex Davies, Petar Velicković, Lars Buesing, Sam Blackwell, Daniel Zheng, Nenad Tomasev, Richard Tanburn, Peter Battaglia, Charles Blundell, András Juhász, Marc Lackenby, Georgie Williamson, Demis Hassabis, and Pushmeet Kohli. Advancing mathematics by guiding human intuition with AI. Nature, 600(7887):70-74, December 2021. doi: 10.1038/s41586-021-04086-x. URL https://doi.org/10.1038/s41586-021-04086-x.
[8] Alan Day. A characterization of modularity for congruence lattices of algebras*. Canadian Mathematical Bulletin, 12(2):167-173, 1969. doi: 10.4153/CMB-1969-016-6.
[9] Richard Dedekind. Über die von drei Moduln erzeugte Dualgruppe. Math. Ann., 1900.
[10] Amirata Ghorbani, James Wexler, James Y Zou, and Been Kim. Towards automatic concept-based explanations. Advances in Neural Information Processing Systems, 32, 2019.
[11] Justin Gilmer, Samuel S Schoenholz, Patrick F Riley, Oriol Vinyals, and George E Dahl. Neural message passing for quantum chemistry. In International conference on machine learning, pages 1263-1272. PMLR, 2017.
[12] Yang-Hui He. Machine-learning mathematical structures. International Journal of Data Science in the Mathematical Sciences, pages 1-25, 2022.
[13] Jobst Heitzig and Jürgen Reinhold. Counting finite lattices. Algebra universalis, 48(1):43-53, 2002.
[14] Qiang Huang, Makoto Yamada, Yuan Tian, Dinesh Singh, and Yi Chang. Graphlime: Local interpretable model explanations for graph neural networks. IEEE Transactions on Knowledge and Data Engineering, 2022.
[15] Martin Hyland and John Power. The category theoretic understanding of universal algebra: Lawvere theories and monads. Electronic Notes in Theoretical Computer Science, 172:437-458, 2007. ISSN 1571-0661. doi: https://doi.org/10.1016/j.entcs.2007.02.019. URL https://www.sciencedirect.com/science/article/pii/S1571066107000874. Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin.
[16] Peter Jipsen and Henry Rose. Varieties of Lattices. Springer Berlin, 1992.
[17] Bjarni Johnson. Algebras whose congruence lattices are distributive. MATHEMATICA SCANDINAVICA, 21:110-121, Dec. 1967. doi: 10.7146/math.scand.a-10850. URL https://www.mscand.dk/article/view/10850.
[18] Bjarni Jónsson. On the representation of lattices. Mathematica Scandinavica, 1953.
[19] Bjarni Jónsson and Ivan Rival. Lattice varieties covering the smallest non-modular lattice variety. Pacific J. Math., Volume 82, 1978.
[20] Samandarov Erkaboy Karimboyevich and Abdurakhmonov Olim Nematullayevich. Single layer artificial neural network: Perceptron. European Multidisciplinary Journal of Modern Science, 5:230-238, Apr. 2022. URL https://emjms.academicjournal.io/index.php/emjms/article/view/253.
[21] Keith Kearnes and Emil Kiss. The shape of congruence lattices. Memoirs of the American Math. Soc., 2013.
[22] Oguzhan Keskin, Alisia Maria Lupidi, Stefano Fioravanti, Lucie Charlotte Magister, Pietro Barbiero, Pietro Lio, and Francesco Giannini. Bridging equational properties and patterns on graphs: an ai-based approach. In Topological, Algebraic and Geometric Learning Workshops 2023, pages 156-168. PMLR, 2023.
[23] Guillaume Lample and François Charton. Deep learning for symbolic mathematics. In International Conference on Learning Representations.
[24] Guillaume Lample and François Charton. Deep learning for symbolic mathematics. arXiv preprint arXiv:1912.01412, 2019.