Special Session "AI in Group Theory" at ISAIM2026 - Ft. Lauderdale Jan 7-9, 2026
Martin Golumbic via dmanet <[email protected]>
| Newsgroups | gmane.science.mathematics.discrete |
|---|---|
| Message-ID | <CALWd8Sr9Tg8RJ+r9+wKsuopNvq4b6q7kZNdaehNfs2+2r6J_1g@mail.gmail.com> |
There will be an all day Special Session on "AI in Group Theory" on Friday, Jan 9, 2026 at ISAIM2026 - (Ft. Lauderdale Jan 7-9, 2026) https://isaim2026.cs.ou.edu/sessions.html Organizers: Elena Bunina <https://cris.biu.ac.il/en/persons/elena-bunina> and Alexei Miasnikov <https://web.stevens.edu/algebraic/alexeim/> This special session explores contemporary Machine Learning and AI techniques as tools for research in group theory and adjacent algebraic/combinatorial domains. We invite talks on AI-assisted conjecture generation and proof search, learning algebraic invariants and representations from data, symbolic–neural pipelines for word/conjugacy/isomorphism problems, and reinforcement or generative methods for algorithm discovery. We also welcome contributions on verification and evaluation (formal proofs, benchmarks, reproducible pipelines). The aim is to bring together mathematicians and AI researchers, showcase concrete case studies (e.g., automorphisms, Burau representations, growth and random groups), and outline open problems and datasets to accelerate progress. ********************************************************** * * Contributions to be spread via DMANET are submitted to * * [email protected] * * Replies to a message carried on DMANET should NOT be * addressed to DMANET but to the original sender. The * original sender, however, is invited to prepare an * update of the replies received and to communicate it * via DMANET. * * DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET) * http://www.zaik.uni-koeln.de/AFS/publications/dmanet/ * **********************************************************