Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
UCSD-GENIE
university
Activity Feed
Follow
7
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
models
0
None public yet
datasets
0
None public yet