Research on coding agents mainly focuses on generation quality. Yet, safety-critical automotive software makes two additional demands. It prioritizes verific…
机构:Amazon
来源:arXiv 2610.35982 | AI4Papers 论文推荐平台