2077AI

AI & ML interests

None defined yet.

Recent Activity

Liam-Liu  updated a dataset about 16 hours ago

2077AIDataFoundation/VeriGUI

Liam-Liu  authored a paper 9 days ago

CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization

Liam-Liu  published a dataset 9 days ago

2077AIDataFoundation/VeriGUI

View all activity

Team members 2