Bohan22's picture

6 5

Bohan22

Bohan22

·

AI & ML interests

None yet

Recent Activity

authored a paper 14 days ago

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

updated a model 14 days ago

Goedel-LM/Goedel-Prover-V2-32B

new activity 14 days ago

Goedel-LM/MathOlympiadBench:Improve dataset card for MathOlympiadBench: Add metadata, paper, project, and code links

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 • 9

Bohan22/AWL_Climate_MCQs

Text Generation • 8B • Updated Jul 15 • 9

datasets 1

Bohan22/DivGPT

Updated Dec 26, 2024 • 1