Bohan22

Bohan22's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

authored a paper 15 days ago

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

Paper • 2508.03613 • Published 16 days ago • 11

updated a model 15 days ago

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

Text Generation • 33B • Updated 12 days ago • 2.8k • 34

New activity in Goedel-LM/MathOlympiadBench 15 days ago

Improve dataset card for MathOlympiadBench: Add metadata, paper, project, and code links

#2 opened 15 days ago by

nielsr

New activity in Goedel-LM/Goedel-Prover-V2-32B 15 days ago

Improve Model Card: Add pipeline tag and library name

#4 opened 15 days ago by

nielsr

New activity in Goedel-LM/Goedel-Prover-V2-8B 15 days ago

Improve model card with metadata and additional usage information

#2 opened 15 days ago by

nielsr

upvoted a paper 15 days ago

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

Paper • 2508.03613 • Published 16 days ago • 11

commented a paper 15 days ago

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

Paper • 2508.03613 • Published 16 days ago • 11 •

3

updated a model about 1 month ago

Bohan22/AWL_Epidemiology_MCQs

Text Generation • 8B • Updated Jul 15 • 14

published a model about 1 month ago

Bohan22/AWL_Epidemiology_MCQs

Text Generation • 8B • Updated Jul 15 • 14

updated a model about 1 month ago

Bohan22/AWL_Climate_MCQs

Text Generation • 8B • Updated Jul 15 • 11

published a model about 1 month ago

Bohan22/AWL_Climate_MCQs

Text Generation • 8B • Updated Jul 15 • 11

updated a dataset about 1 month ago

Goedel-LM/MathOlympiadBench

Viewer • Updated 15 days ago • 360 • 391 • 8

published a dataset about 1 month ago

Goedel-LM/MathOlympiadBench

Viewer • Updated 15 days ago • 360 • 391 • 8

updated a model about 1 month ago

Goedel-LM/Goedel-Prover-V2-8B

Text Generation • 8B • Updated 12 days ago • 8.34k • 11

published a model about 1 month ago

Goedel-LM/Goedel-Prover-V2-8B

Text Generation • 8B • Updated 12 days ago • 8.34k • 11

authored 2 papers 6 months ago

Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving

Paper • 2502.07640 • Published Feb 11 • 9

SURGE: On the Potential of Large Language Models as General-Purpose Surrogate Code Executors

Paper • 2502.11167 • Published Feb 16 • 10

upvoted a paper 6 months ago

SURGE: On the Potential of Large Language Models as General-Purpose Surrogate Code Executors

Paper • 2502.11167 • Published Feb 16 • 10

commented a paper 6 months ago

SURGE: On the Potential of Large Language Models as General-Purpose Surrogate Code Executors

Paper • 2502.11167 • Published Feb 16 • 10 •

2

upvoted a paper 6 months ago

Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving

Paper • 2502.07640 • Published Feb 11 • 9