Hugging Face's logo

UCSD-GENIE
university
Activity Feed

AI & ML interests

None defined yet.

Recent Activity

Bohan22  authored a paper 13 days ago
Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction
ysjf  updated a dataset 5 months ago
UCSD-GENIE/ClimaQA
ysjf  new activity 5 months ago
UCSD-GENIE/ClimaQA:Improve dataset card with license, task category, and links
View all activity

models 0

None public yet