AI & ML interests

None defined yet.

Recent Activity

XuYifanXUXU  updated a dataset 16 days ago

MMMem-org/TinyBench

XuYifanXUXU  published a dataset 16 days ago

MMMem-org/TinyBench

Catill520  authored a paper 5 months ago

CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization

View all activity

Team members 8