🧑🔬 Bin Yu — papers of 2026 — 2 papers, the most cited first2 papers · all years of Bin YuFormally Specifying the Intended Behavior of the Program: LLM-Driven Neuro-Symbolic Program Specification SynthesisAnnual Meeting of the Association for Computational Linguistics (ACL)Cheng Wen, Hu Junjie, YiKun Hu, et al.2026 · 5 citationsMR-ALIGN: Meta-Reasoning Informed Factuality Alignment for Large Reasoning ModelsFindings of the Association for Computational LinguisticsXinming Wang, Jian Xu, Bin Yu, et al.2026 · 2 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/bin-yu/year/2026/