2077AI

AI & ML interests

None defined yet.

Recent Activity

liushunyu  updated a dataset 6 days ago

2077AIDataFoundation/VeriGUI

Liam-Liu  updated a dataset 6 days ago

2077AIDataFoundation/VeriGUI

Liam-Liu  authored a paper 19 days ago

CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization

View all activity

Team members 3