As collaboration has proven to be beneficial in learning environments, there has been an emerging interest in automating the formation of student groups. However, existing work focuses on optimal formations from the instructor’s perspective based on pedagogical criteria (e.g., maximal group productivity, avoiding orphans or unmatched students). In contrast, we propose a formal collaboration mod...