AI Meets Algebra
IJCAI 2025