DOI,IST REx ID,Research Group,Title of publication
10.48550/arXiv.2512.07087,21399,"GradSch,VlKo",The equational theories project: Advancing collaborative mathematical research at scale