Bohan22

Bohan22's activity

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

commented 4 papers 3 days ago

Interactive Benchmarks

Paper • 2603.04737 • Published 9 days ago • 18 •

9

Interactive Benchmarks

Paper • 2603.04737 • Published 9 days ago • 18 •

9

Interactive Benchmarks

Paper • 2603.04737 • Published 9 days ago • 18 •

9

Interactive Benchmarks

Paper • 2603.04737 • Published 9 days ago • 18 •

9

commented a paper 4 days ago

Interactive Benchmarks

Paper • 2603.04737 • Published 9 days ago • 18 •

9

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

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

2

#1 opened 3 months ago by

nielsr

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

now working on vllm

🔥 1

4

#5 opened 7 months ago by

heiyan2024

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

Apply for the dataset

3

#1 opened 5 months ago by

Bohan22

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

Distillation Requests

110

#1 opened 6 months ago by

Liontix

authored a paper 7 months ago

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

Paper • 2508.03613 • Published Aug 5, 2025 • 15

updated a model 7 months ago

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

Text Generation • Updated Aug 27, 2025 • 5.18k • 64

New activity in Goedel-LM/MathOlympiadBench 7 months ago

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

#2 opened 7 months ago by

nielsr

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

Improve Model Card: Add pipeline tag and library name

#4 opened 7 months ago by

nielsr

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

Improve model card with metadata and additional usage information

#2 opened 7 months ago by

nielsr

upvoted a paper 7 months ago

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

Paper • 2508.03613 • Published Aug 5, 2025 • 15

commented a paper 7 months ago

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

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

3

updated a model 8 months ago

Bohan22/AWL_Epidemiology_MCQs

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

published a model 8 months ago

Bohan22/AWL_Epidemiology_MCQs

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

updated a model 8 months ago

Bohan22/AWL_Climate_MCQs

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

published a model 8 months ago

Bohan22/AWL_Climate_MCQs

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