UCSD-GENIE

AI & ML interests

None defined yet.

Recent Activity

Bohan22  authored a paper about 2 months ago

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

ysjf  updated a dataset 6 months ago

Rose-STL-Lab/ClimaQA

ysjf  new activity 6 months ago

Rose-STL-Lab/ClimaQA:Improve dataset card with license, task category, and links

View all activity

Team members 6