76 citations · 93 across the 15 of their papers we have counts for
1 paper · 1 filter
Daniel Berg Thomsen, Manu Upadhyaya, Baptiste Goujaud +2
Progress in mathematics often requires more than a certificate of truth: it requires proof structures that are transparent, checkable, and reusable. Automated systems can increasin…