PremiLab-Math

AI & ML interests

None defined yet.

Recent Activity

ZihaoZhou  submitted a paper 1 day ago

Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics

ZihaoZhou  authored a paper over 1 year ago

Is Your Model Really A Good Math Reasoner? Evaluating Mathematical Reasoning with Checklist

M-Ning  updated a dataset over 1 year ago

PremiLab-Math/MathCheck

View all activity

Team members 2