Bohan22

Bohan22's activity

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

liked a model 13 days ago

moonshotai/Kimi-K2.7-Code

Image-Text-to-Text • 1.1T • Updated 10 days ago • 480k • • 985

authored a paper about 1 month ago

MLS-Bench: A Holistic and Rigorous Assessment of AI Systems on Building Better AI

Paper • 2605.08678 • Published May 9 • 9

upvoted a paper about 1 month ago

MLS-Bench: A Holistic and Rigorous Assessment of AI Systems on Building Better AI

Paper • 2605.08678 • Published May 9 • 9

submitted a paper to Daily Papers about 1 month ago

MLS-Bench: A Holistic and Rigorous Assessment of AI Systems on Building Better AI

Paper • 2605.08678 • Published May 9 • 9

updated a dataset about 1 month ago

Bohan22/MLS-Bench-Tasks

Viewer • Updated May 11 • 140 • 1.05k • 5

published a dataset about 2 months ago

Bohan22/MLS-Bench-Tasks

Viewer • Updated May 11 • 140 • 1.05k • 5

upvoted a paper 2 months ago

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

Paper • 2604.12290 • Published Apr 14 • 16

commented 5 papers 4 months 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 6 months ago

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

2

#1 opened 6 months ago by

nielsr

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

now working on vllm

🔥 1

4

#5 opened 10 months ago by

heiyan2024

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

Apply for the dataset

3

#1 opened 9 months ago by

Bohan22

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

Distillation Requests

110

#1 opened 10 months ago by

Liontix

authored a paper 11 months ago

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

Paper • 2508.03613 • Published Aug 5, 2025 • 16

updated a model 11 months ago

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

Text Generation • 33B • Updated Aug 27, 2025 • 11k • • 71

New activity in Goedel-LM/MathOlympiadBench 11 months ago

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

#2 opened 11 months ago by

nielsr

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

Improve Model Card: Add pipeline tag and library name

#4 opened 11 months ago by

nielsr