Bin Yu
Bin Yu has 3 papers in our library, in 2025–2026, most of them on Language models & pretraining, Reasoning; often with Cheng-Lin Liu, Dugang Liu, Han Hu.
OpenAlex · h-index 1 · 3 works · 5 citations OpenAlex, 2026-10-14
📄 3 works in our library · 🔗 Cited 14 times in our library · ⭐ Paper Stars ranking: #9059
Fields, topics and concepts
📚 Shelves 6The field of science this work belongs to (OpenAlex fields).Arts and Humanities · 3 worksComputer Science · 3 worksArtificial Intelligence · 3 worksLanguage and Linguistics · 3 worksInformation Systems · 1 workComputer Vision and Pattern Recognition · 1 work
🧭 Topics 2Research subjects and languages the work is about.Language models & pretraining · 2 worksReasoning · 2 works
Works by year
2020s
Papers
- Long-Short Chain-of-Thought Mixture Supervised Fine-Tuning Eliciting Efficient Reasoning in Large Language Models (2025 · 13 citations)
Distilling chain-of-thought (CoT) traces from large reasoning models such as DeepSeek R1 into ordinary LLMs through SFT teaches them to reason. - Formally Specifying the Intended Behavior of the Program: LLM-Driven Neuro-Symbolic Program Specification Synthesis (2026 · 5 citations)
Deductive verification can prove that C code meets its requirements, but only after someone writes formal annotations such as contracts and loop invariants. - MR-ALIGN: Meta-Reasoning Informed Factuality Alignment for Large Reasoning Models (2026 · 2 citations)
Large reasoning models (LRMs) handle multi-step problems well, but extended thinking adds little on fact-based questions.
Co-authors here
- Cheng-Lin Liu
- Dugang Liu
- Han Hu
- Hongzhu Yi
- Jian Xu
- Kai Chen
- Weizhen Qi
- Xinming Wang
- Xu-Yao Zhang
- yi Chen
- Yingjian Zhu
Venues
- Annual Meeting of the Association for Computational Linguistics (ACL): ACL 2026
- Findings of the Association for Computational Linguistics: Findings of the Association for Computational Linguistics 2026
Cited by
Updated
This page in Markdown → https://md.research.elamur.ai/free/en/authors/bin-yu/