Bohan22's picture

6 5

Bohan22

Bohan22

·

AI & ML interests

None yet

Recent Activity

updated a dataset 16 days ago

Bohan22/math_eval

published a dataset 16 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

Papers 7

arxiv:2508.03613

arxiv:2502.11167

arxiv:2502.07640

arxiv:2411.00412

models 2

Bohan22/AWL_Epidemiology_MCQs

Text Generation • 8B • Updated Jul 15 • 4

Bohan22/AWL_Climate_MCQs

Text Generation • 8B • Updated Jul 15 • 23

datasets 2

Bohan22/math_eval

Updated 16 days ago • 26

Bohan22/DivGPT

Updated Dec 26, 2024 • 5