math-ai

AI & ML interests

reasoning

Recent Activity

yifAI  updated a dataset 13 days ago

math-ai/StackMathQA

yifAI  updated a dataset 13 days ago

math-ai/AutoMathText

yifAI  authored a paper 20 days ago

CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization

View all activity

Team members 2