Rethlas (FrenzyMath)
A mathematical reasoning agent that develops and reviews natural-language proofs. - Developer / Organization: FrenzyMath; Haocheng Ju and co…
A mathematical reasoning agent that develops and reviews natural-language proofs. - Developer / Organization: FrenzyMath; Haocheng Ju and co…
Harvard University, Statistics · Cambridge, Massachusetts 02138, United States of America · Faculty
Nanjing University, Department of Mathematics · Nanjing, Jiangsu 210093, China · Other
Harvard University, Statistics · Cambridge, Massachusetts 02138, United States of America · Faculty
NYU Shanghai · Shanghai, Shanghai 200122, China · Faculty
Harvard University, Statistics · Cambridge, Massachusetts 02138, United States of America · Faculty
NYU Shanghai · Shanghai, Shanghai 200122, China · Postdoc
Harvard University, Mathematics · Cambridge, Massachusetts 02138, United States of America · Postdoc
International Institute for Mathematical Sciences at Jilin University · Changchun, Jilin 130012, China · Faculty
61–72 of 185 discussions