Towards a Unified and Verified Understanding of Group-Operation Networks - Wu, Wilson; Jaburi, Louis; drori, jacob; Gross, Jason (International Conference on Learning Representations, 2025)