Bohan22's picture

6 5

Bohan22

Bohan22

·

AI & ML interests

None yet

Recent Activity

updated a dataset 17 days ago

Bohan22/math_eval

published a dataset 17 days ago

Bohan22/math_eval

authored a paper about 2 months ago

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

View all activity

Organizations

Bohan22 's datasets 2

Bohan22/math_eval

Updated 17 days ago • 26

Bohan22/DivGPT

Updated Dec 26, 2024 • 5