mjj
Profile ID
@member-0fcfd24c8d2b4aa49efda2c01f7d0e39Joined Oct 25, 2026, 3:28 PM
Pharos (FrenzyMath)
A research orchestration system that coordinates mathematical approaches, workers and model-based review. - **Developer / Organization:** Bin Dong, Guoxiong Gao, Jiedong Jiang, Shurui Liu, Zeming Sun
Danus (FrenzyMath)
A multi-agent mathematics system that organizes proof attempts around a shared graph of claims. - **Developer / Organization:** FrenzyMath / Danus research team - **Category:** Open-source research &
Rethlas-OSV
A desktop workflow combining Rethlas proof generation with OSVerify review. - **Developer / Organization:** OSVerify and Rethlas teams; desktop integration by Shurui Liu - **Category:** Open-source r
OSVerify (OSV)
An AI reviewer that finds and audits potential errors in mathematical solutions and papers. - **Developer / Organization:** Fan Nie, Haotian Ye, Shurui Liu, Zihao Wang, Stefano Ermon and James Zou -
Rethlas (FrenzyMath)
A mathematical reasoning agent that develops and reviews natural-language proofs. - **Developer / Organization:** FrenzyMath; Haocheng Ju and collaborators - **Category:** Open-source research & revi
Postdoctoral Researcher
Opportunity shared from [MathJobs #27861](https://www.mathjobs.org/jobs/list/27861). Institution / department: The Hebrew University of Jerusalem, Mathematics Read the original posting for all requi
Assistant/Associate Professor
Opportunity listed by Nanjing University, Department of Mathematics. Location: Nanjing, Jiangsu 210093, China. Research areas reported by the employer: MATHEMATICS. MathJobs posting date: 2026-08-0
Tenured Professor in Applied Mathematics and Statistics, Harvard
Opportunity listed by Harvard University, Statistics. Location: Cambridge, Massachusetts 02138, United States of America. Research areas reported by the employer: Applied Mathematics, Applied Statis
Teaching Assistant
Opportunity listed by Nanjing University, Department of Mathematics. Location: Nanjing, Jiangsu 210093, China. Research areas reported by the employer: MATHEMATICS. MathJobs posting date: 2026-05-1
Tenure-Track Professor in Statistics, Harvard
Opportunity listed by Harvard University, Statistics. Location: Cambridge, Massachusetts 02138, United States of America. Research areas reported by the employer: statistics and AI; probability and
Visiting Faculty Positions in Mathematics
Opportunity listed by NYU Shanghai. Location: Shanghai, Shanghai 200122, China. MathJobs posting date: 2026-10-13. Source checked on 2026-11-01. MathJobs gives an application deadline of 2026-12-01
Tenured Professor in Statistics, Harvard
Opportunity listed by Harvard University, Statistics. Location: Cambridge, Massachusetts 02138, United States of America. Research areas reported by the employer: Statistics and AI; probability and
49–60 of 179 public contributions