Hugging Face's logo

ASI Research
non-profit
https://github.com/asiresearch
asiresearch
Activity Feed

AI & ML interests

ASI Research

Recent Activity

yifAI  authored a paper 7 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 2 months ago
FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models
View all activity

models 0

None public yet

datasets 0

None public yet