PremiLab-Math

university

https://premilab-math.github.io

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

ZihaoZhou

submitted a paper to Daily Papers 1 day ago

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

Paper • 2601.14027 • Published 3 days ago • 9

ZihaoZhou

authored a paper over 1 year ago

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

Paper • 2407.08733 • Published Jul 11, 2024 • 23

M-Ning

updated a dataset over 1 year ago

PremiLab-Math/MathCheck

Updated Jul 12, 2024 • 97 • 3

M-Ning

authored a paper over 1 year ago

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

Paper • 2407.08733 • Published Jul 11, 2024 • 23