Yibo Miao
Yibo Miao has 3 papers in our library, in 2024–2025, most of them on Language models & pretraining, Evaluation & benchmarks, Code & programming languages; often with Bofei Gao, An Yang, Benyou Wang.
OpenAlex · h-index 7 · 41 works · 103 citations OpenAlex, 2026-10-14
📄 3 works in our library · 🔗 Cited 658 times in our library · ⭐ Paper Stars ranking: #5653
Affiliations
Fields, topics and concepts
📚 Shelves 10The field of science this work belongs to (OpenAlex fields).Computer Science · 3 worksArts and Humanities · 2 worksArtificial Intelligence · 2 worksLanguage and Linguistics · 2 worksMathematics · 1 workApplied Mathematics · 1 workComputational Theory and Mathematics · 1 workInformation Systems · 2 worksComputer Science Applications · 1 workSoftware · 1 work
🧭 Topics 3Research subjects and languages the work is about.Evaluation & benchmarks · 1 workLanguage models & pretraining · 1 workCode & programming languages · 1 work
Works by year
2020s
Papers
- Omni-MATH: A Universal Olympiad Level Mathematic Benchmark For Large Language Models (2024 · 163 citations)
Widely used math benchmarks such as GSM8K and MATH are close to saturated. OpenAI o1 scores about 95% on MATH, so these tests no longer separate the strongest LLMs well. The authors built Omni-MATH, a text-only benchmark of 4,428 competition problems. They range from introductory contests (CEMC, HMMT) up to IMO… - CodeElo: Benchmarking Competition-level Code Generation of LLMs with Human-comparable Elo Ratings (2025 · 37 citations)
Competitive-programming benchmarks for LLMs judge solutions unreliably. Online judges keep their test suites private, so existing benchmarks such as LiveCodeBench, USACO and CodeContests rely on weaker public or synthetic tests that let wrong solutions pass. These benchmarks also cannot handle problems with multiple… - Kimi-Dev: Agentless Training as Skill Prior for SWE-Agents (2025 · 4 citations)
Automated GitHub issue fixing, as measured by SWE-bench, has split into two camps. Multi-turn SWE-Agents are flexible but hard to train end-to-end. Pipeline-style Agentless methods are easy to optimize with verifiable rewards but rigid. The authors argue the two approaches can be combined: training on Agentless…
Co-authors here
- Bofei Gao ×3
- An Yang
- Benyou Wang
- Bo Zheng
- Bowen Yu
- Dayiheng Liu
- Feifan Song
- Jian Yang
- Jiaxi Yang
- Lei Li
- Liang Chen
- Qingxiu Dong
Cited by
Updated
This page in Markdown → https://md.research.elamur.ai/free/en/authors/yibo-miao/