paper.dinq.meAI 与前沿科学顶会 · 学术新星雷达
登录 DINQ
返回新星榜
BY

Binhang Yuan

ICLR 2026×7OSDI 2026效率与系统长上下文与架构社会与人本评测与基准检索与知识
新星分资深
35
一作贡献0
核心/参与24
方向广度13
合作网络12
0 一作 · 8 篇 · ICLR 2026 / OSDI 2026

获取完整研究档案

首次获取该候选人的完整档案及 StartLux 评估共 20 积分;每位用户单独解锁,之后查看免费。主动刷新 20 积分。

联系方式

实时查找电子邮箱,费用不超过20积分;未找到邮箱不扣费。

2026 顶会论文

8
作者位次 #6/9OSDI 2026Oral· Operating Systems & Distributed Systems

OpenTela: Unifying Decentralized Computing Resources for Heterogeneous LLM Serving (Operational Systems)

Xiaozhe Yao · Youhe Jiang · Ilia Badanin · Qinghao Hu · Robert Matthew Smith · Binhang Yuan · Imanol Schlag · Eiko Yoneki · Ana Klimovic

摘要

Large language models (LLMs) are becoming critical to a variety of public services, motivating sovereign AI initiatives that seek to serve models on infrastructure they control. Yet much of this infrastructure is built as HPC clusters optimized for batch jobs rather than interactive, always-on in...

效率与系统检索与知识社会与人本OpenReview
作者位次 #6/7ICLR 2026Poster· Social Aspects / Trustworthy Machine Learning

VeriEquivBench: An Equivalence Score for Ground-Truth-Free Evaluation of Formally Verifiable Code

Lingfei Zeng · Fengdi Che · Xuhan Huang · Fei Ye · Xu Xu · Binhang Yuan · Jie Fu

评测与基准代码社会与人本OpenReview
作者位次 #5/5ICLR 2026Poster· Applications / Everything Else

Local Success Does Not Compose: Benchmarking Large Language Models for Compositional Formal Verification

Xu Xu · Xin Li · Xingwei Qu · Jie Fu · Binhang Yuan

评测与基准长上下文与架构OpenReview

常见合作者