OSVerify (OSV)
An AI reviewer that finds and audits potential errors in mathematical solutions and papers. - Developer / Organization: Fan Nie, Haotian Ye,…
AI & Academia
Rethlas (FrenzyMath)
A mathematical reasoning agent that develops and reviews natural-language proofs. - Developer / Organization: FrenzyMath; Haocheng Ju and co…
49–50 of 50 discussions