ASI Research

AI & ML interests

ASI Research

Recent Activity

yifAI  authored a paper 13 days ago

CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization

yifAI  authored a paper about 2 months ago

On the Design of KL-Regularized Policy Gradient Algorithms for LLM Reasoning

yifAI  authored a paper 3 months ago

FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models

View all activity

Team members 2