Bohan22's picture

6 5

Bohan22

Bohan22

·

AI & ML interests

None yet

Recent Activity

updated a dataset 8 days ago

Bohan22/math_eval

published a dataset 8 days ago

Bohan22/math_eval

authored a paper about 1 month ago

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

View all activity

Organizations

Bohan22 's models 2

Bohan22/AWL_Epidemiology_MCQs

Text Generation • 8B • Updated Jul 15 • 9

Bohan22/AWL_Climate_MCQs

Text Generation • 8B • Updated Jul 15 • 13