UCSD-GENIE

AI & ML interests

None defined yet.

Recent Activity

Bohan22  authored a paper about 2 hours ago

MLS-Bench: A Holistic and Rigorous Assessment of AI Systems on Building Better AI

Bohan22  submitted a paper about 9 hours ago

MLS-Bench: A Holistic and Rigorous Assessment of AI Systems on Building Better AI

Bohan22  authored a paper 9 months ago

Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction

View all activity

Team members 6