Learning Symbolic Task Decompositions for Multi-Agent Teams. - Ameesh Shah; Niklas Lauffer; Thomas Chen; Nikhil Pitta; Sanjit A. Seshia (AAMAS, 2025)