Hugging Face's logo

2077AI
non-profit
Activity Feed

AI & ML interests

None defined yet.

Recent Activity

liushunyu  updated a dataset 5 days ago
2077AIDataFoundation/VeriGUI
Liam-Liu  updated a dataset 5 days ago
2077AIDataFoundation/VeriGUI
Liam-Liu  authored a paper 18 days ago
CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization
View all activity

models 0

None public yet