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
*
* DMANET@zpr.uni-koeln.de
*
* 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/
*
**********************************************************