Bohan22

Bohan22 on Hugging Face Daily Papers: 6 papers, 0 in the top 3 of their day, 100 upvotes.

1. MLS-Bench: A Holistic and Rigorous Assessment of AI Systems on Building Better AI 8 upvotes, #28 of 2026-05-11
2. Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction 10 upvotes, #10 of 2025-08-06
3. SURGE: On the Potential of Large Language Models as General-Purpose Surrogate Code Executors 10 upvotes, #15 of 2025-02-18
4. Goedel-Prover: A Frontier Model for Open-Source Automated Theorem Proving 8 upvotes, #20 of 2025-02-12
5. MEGA-Bench: Scaling Multimodal Evaluation to over 500 Real-World Tasks 34 upvotes, #5 of 2024-10-15
6. MantisScore: Building Automatic Metrics to Simulate Fine-grained Human Feedback for Video Generation 13 upvotes, #8 of 2024-06-24

Data: hysts-bot-data/daily-papers-stats and the Daily Papers API. Open data: tardellirs/paper-pulse-data. Sister project: Model Pulse, the download history of every model on the Hub.