MathCAMPS

AI & ML interests

Mathematical reasoning

Recent Activity

gpoesia  updated a dataset 6 months ago

mathcamps/mathcamps

gpoesia  authored a paper over 1 year ago

Certified Reasoning with Language Models

View all activity

Team members 2