most citedSurveying the Effects of Quality, Diversity, and Complexity in Synthetic Data From Large Language Models

4 citations · 7 across the 4 of their papers we have counts for

collaborators
Showing math.RAShow all

1 paper · 1 filter

math.RA2025

The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale

Matthew Bolan, Joachim Breitner, Jose Brox +31

We report on the Equational Theories Project (ETP), an online collaborative pilot project to explore new ways to collaborate in mathematics with machine assistance. The project suc…