Bohan22

Bohan22's activity

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

New activity in Goedel-LM/Goedel-Formalizer-V2-32B about 1 month ago

Improve model card: Add title, paper link, project page, library name, pipeline tag and citation

2

#1 opened about 1 month ago by

nielsr

New activity in unsloth/gpt-oss-20b-BF16 4 months ago

now working on vllm

🔥 1

4

#5 opened 5 months ago by

heiyan2024

New activity in Liontix/Qwen3-8B-Gemini-2.5-Pro-Distill 4 months ago

Apply for the dataset

3

#1 opened 4 months ago by

Bohan22

New activity in Liontix/Qwen3-8B-Claude-Sonnet-4-Reasoning-Distill-GGUF 4 months ago

Distillation Requests

110

#1 opened 5 months ago by

Liontix

updated a dataset 5 months ago

Bohan22/math_eval

Updated Sep 8, 2025 • 1

published a dataset 5 months ago

Bohan22/math_eval

Updated Sep 8, 2025 • 1

authored a paper 6 months ago

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

Paper • 2508.03613 • Published Aug 5, 2025 • 12

updated a model 6 months ago

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

Text Generation • 33B • Updated Aug 27, 2025 • 5.73k • 61

New activity in Goedel-LM/MathOlympiadBench 6 months ago

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

#2 opened 6 months ago by

nielsr

New activity in Goedel-LM/Goedel-Prover-V2-32B 6 months ago

Improve Model Card: Add pipeline tag and library name

#4 opened 6 months ago by

nielsr

New activity in Goedel-LM/Goedel-Prover-V2-8B 6 months ago

Improve model card with metadata and additional usage information

#2 opened 6 months ago by

nielsr

upvoted a paper 6 months ago

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

Paper • 2508.03613 • Published Aug 5, 2025 • 12

commented a paper 6 months ago

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

Paper • 2508.03613 • Published Aug 5, 2025 • 12 •

3

updated a model 7 months ago

Bohan22/AWL_Epidemiology_MCQs

Text Generation • 8B • Updated Jul 15, 2025 • 3

published a model 7 months ago

Bohan22/AWL_Epidemiology_MCQs

Text Generation • 8B • Updated Jul 15, 2025 • 3

updated a model 7 months ago

Bohan22/AWL_Climate_MCQs

Text Generation • 8B • Updated Jul 15, 2025

published a model 7 months ago

Bohan22/AWL_Climate_MCQs

Text Generation • 8B • Updated Jul 15, 2025

updated a dataset 7 months ago

Goedel-LM/MathOlympiadBench

Viewer • Updated Aug 6, 2025 • 360 • 48 • 12

published a dataset 7 months ago

Goedel-LM/MathOlympiadBench

Viewer • Updated Aug 6, 2025 • 360 • 48 • 12

updated a model 7 months ago

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

Text Generation • 8B • Updated Aug 9, 2025 • 9.11k • 21