Bohan22

Bohan22's activity

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

New activity in unsloth/gpt-oss-20b-BF16 29 days ago

now working on vllm

🔥 1

4

#5 opened 2 months ago by

heiyan2024

New activity in Liontix/Qwen3-8B-Gemini-2.5-Pro-Distill about 1 month ago

Apply for the dataset

3

#1 opened about 1 month ago by

Bohan22

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

Distillation Requests

75

#1 opened about 2 months ago by

Liontix

updated a dataset about 2 months ago

Bohan22/math_eval

Updated Sep 8 • 106

published a dataset about 2 months ago

Bohan22/math_eval

Updated Sep 8 • 106

authored a paper 3 months ago

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

Paper • 2508.03613 • Published Aug 5 • 11

updated a model 3 months ago

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

Text Generation • 33B • Updated Aug 27 • 11k • 57

New activity in Goedel-LM/MathOlympiadBench 3 months ago

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

#2 opened 3 months ago by

nielsr

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

Improve Model Card: Add pipeline tag and library name

#4 opened 3 months ago by

nielsr

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

Improve model card with metadata and additional usage information

#2 opened 3 months ago by

nielsr

upvoted a paper 3 months ago

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

Paper • 2508.03613 • Published Aug 5 • 11

commented a paper 3 months ago

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

Paper • 2508.03613 • Published Aug 5 • 11 •

3

updated a model 4 months ago

Bohan22/AWL_Epidemiology_MCQs

Text Generation • 8B • Updated Jul 15 • 1

published a model 4 months ago

Bohan22/AWL_Epidemiology_MCQs

Text Generation • 8B • Updated Jul 15 • 1

updated a model 4 months ago

Bohan22/AWL_Climate_MCQs

Text Generation • 8B • Updated Jul 15 • 3

published a model 4 months ago

Bohan22/AWL_Climate_MCQs

Text Generation • 8B • Updated Jul 15 • 3

updated a dataset 4 months ago

Goedel-LM/MathOlympiadBench

Viewer • Updated Aug 6 • 360 • 159 • 10

published a dataset 4 months ago

Goedel-LM/MathOlympiadBench

Viewer • Updated Aug 6 • 360 • 159 • 10

updated a model 4 months ago

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

Text Generation • 8B • Updated Aug 9 • 4.9k • 17

published a model 4 months ago

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

Text Generation • 8B • Updated Aug 9 • 4.9k • 17