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

Sang-Ki Ko

AAAI 2026ACL 2026KDD 2026NeurIPS 2026评测与基准检索与知识效率与系统代码安全
新星分贡献者
57
一作贡献0
核心/参与19
方向广度19
合作网络9
0 一作 · 4 篇 · AAAI 2026 / ACL 2026 / KDD 2026 / NeurIPS 2026

获取完整研究档案

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

联系方式

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

2026 顶会论文

4
作者位次 #4/5ACL 2026Findings· Findings of ACL

C ontract E val: A Benchmark for Evaluating Contract-Satisfying Assertions in Code Generation

Soohan Lim · Joonghyuk Hahn · Hyunwoo Park · Sang-Ki Ko · Yo-Sub Han

摘要

Current code generation evaluation measures functional correctness on well-formed inputs that satisfy all input preconditions. This paradigm has a critical limitation: task descriptions often leave these preconditions implicit, while evaluation filters out inputs that violate them. As a result, g...

评测与基准检索与知识代码OpenReview 项目页

常见合作者