Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up

math-ai

Activity Feed

AI & ML interests

reasoning

Recent Activity

yifAI  updated a dataset 10 days ago
math-ai/StackMathQA
yifAI  updated a dataset 10 days ago
math-ai/AutoMathText
yifAI  authored a paper 17 days ago
CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization
View all activity

Yifan Luo's profile picture Yifan Zhang's profile picture

math-ai 's collections 1

Training
  • math-ai/AutoMathText

    Viewer • Updated 10 days ago • 7.89M • 66.3k • 177
  • math-ai/TemplateGSM

    Viewer • Updated Mar 8 • 14.5M • 708 • 16
  • math-ai/StackMathQA

    Viewer • Updated 10 days ago • 6.2M • 688 • 89
Training
  • math-ai/AutoMathText

    Viewer • Updated 10 days ago • 7.89M • 66.3k • 177
  • math-ai/TemplateGSM

    Viewer • Updated Mar 8 • 14.5M • 708 • 16
  • math-ai/StackMathQA

    Viewer • Updated 10 days ago • 6.2M • 688 • 89
Company
TOS Privacy About Jobs
Website
Models Datasets Spaces Pricing Docs