Bohan22

Bohan22's activity

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

upvoted a paper about 19 hours ago

Frontier-Eng: Benchmarking Self-Evolving Agents on Real-World Engineering Tasks with Generative Optimization

Paper • 2604.12290 • Published 3 days ago • 16

commented 5 papers about 1 month ago

Interactive Benchmarks

Paper • 2603.04737 • Published Mar 5 • 19 •

10

Interactive Benchmarks

Paper • 2603.04737 • Published Mar 5 • 19 •

10

Interactive Benchmarks

Paper • 2603.04737 • Published Mar 5 • 19 •

10

Interactive Benchmarks

Paper • 2603.04737 • Published Mar 5 • 19 •

10

Interactive Benchmarks

Paper • 2603.04737 • Published Mar 5 • 19 •

10

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

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

2

#1 opened 4 months ago by

nielsr

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

now working on vllm

🔥 1

4

#5 opened 8 months ago by

heiyan2024

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

Apply for the dataset

3

#1 opened 7 months ago by

Bohan22

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

Distillation Requests

110

#1 opened 7 months ago by

Liontix

authored a paper 8 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 8 months ago

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

Text Generation • Updated Aug 27, 2025 • 1.96k • 66

New activity in Goedel-LM/MathOlympiadBench 8 months ago

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

#2 opened 8 months ago by

nielsr

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

Improve Model Card: Add pipeline tag and library name

#4 opened 8 months ago by

nielsr

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

Improve model card with metadata and additional usage information

#2 opened 8 months ago by

nielsr

upvoted a paper 8 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 8 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 9 months ago

Bohan22/AWL_Epidemiology_MCQs

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

published a model 9 months ago

Bohan22/AWL_Epidemiology_MCQs

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

updated a model 9 months ago

Bohan22/AWL_Climate_MCQs

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