arXivDaily arXiv每日学术速递 周一至周五更新

高校专区

University of Illinois Urbana-Champaign(伊利诺伊大学厄巴纳-香槟分校)

2025-12-24 至 2025-12-24 共收录 4
2512.20482 2025-12-24 cs.SE cs.AI

SweRank+: Multilingual, Multi-Turn Code Ranking for Software Issue Localization

SweRank+: 多语言、多轮次代码排名用于软件问题定位

Revanth Gangi Reddy, Ye Liu, Wenting Zhao, JaeHyeok Doo, Tarun Suresh, Daniel Lee, Caiming Xiong, Yingbo Zhou, Semih Yavuz, Shafiq Joty

机构 * University of Illinois at Urbana-Champaign(伊利诺伊大学厄巴纳-香槟分校) Salesforce AI Research(Salesforce AI研究院) KAIST AI(韩国科学技术院AI研究中心)

AI总结 SweRank+结合跨语言代码排名工具和代理搜索设置,实现多轮次的代码库推理,提升多语言软件问题定位的准确性和效率。

详情

展开后加载摘要…

URL PDF HTML 收藏
2512.19949 2025-12-24 cs.CV cs.AI

How Much 3D Do Video Foundation Models Encode?

视频基础模型编码多少三维信息?

Zixuan Huang, Xiang Li, Zhaoyang Lv, James M. Rehg

机构 * University of Illinois at Urbana-Champaign(伊利诺伊大学厄巴纳-香槟分校) Impossible, Inc(Impossible公司)

AI总结 本文研究了视频基础模型对3D世界的理解程度,提出了一种模型无关的框架来评估不同模型的3D意识,并发现最先进的视频生成模型在无3D训练数据的情况下也能表现出超越专门3D任务模型的理解能力。

Comments Project Page: https://vidfm-3d-probe.github.io

详情

展开后加载摘要…

URL PDF HTML 收藏
2512.19758 2025-12-24 cs.SE cs.AI

Attention Distance: A Novel Metric for Directed Fuzzing with Large Language Models

注意力距离:一种用于大型语言模型定向模糊测试的新度量

Wang Bin, Ao Yang, Kedan Li, Aofan Liu, Hui Li, Guibo Luo, Weixiang Huang, Yan Zhuang

机构 * Guangdong Provincial Key Laboratory of Ultra High Definition Immersive Media Technology, Shenzhen Graduate School, Peking University(广东超高清沉浸媒体技术省重点实验室,北京大学深圳研究生院) University of Illinois at Urbana-Champaign(伊利诺伊大学厄巴纳-香槟分校) China Mobile Internet CO(中国移动互联网公司)

AI总结 本文提出注意力距离度量,利用大型语言模型分析代码元素间的注意力分数,提升定向模糊测试效率,实验显示在38个漏洞复现实验中测试效率提升3.43倍,优于DAFL和WindRanger。

Comments Accepted to ICSE 2026 Research Track

详情

展开后加载摘要…

URL PDF HTML 收藏
2503.12511 2025-12-24 cs.SE cs.AI cs.PL

SACTOR: LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based Verification

SACTOR:基于大语言模型的C到Rust翻译工具,结合静态分析和FFI验证

Tianyang Zhou, Ziyi Zhang, Haowen Lin, Somesh Jha, Mihai Christodorescu, Kirill Levchenko, Varun Chandrasekaran

机构 * University of Illinois Urbana-Champaign(伊利诺伊大学厄巴纳-香槟分校) University of Wisconsin–Madison(威斯康星大学麦迪逊分校) Google(谷歌)

AI总结 SACTOR通过结合静态分析和FFI验证,利用大语言模型实现C到Rust的正确且习惯性翻译,提升了代码安全性和效率

Comments 35 pages, 15 figures Previously named as "LLM-Driven Multi-step Translation from C to Rust using Static Analysis"

详情

展开后加载摘要…

URL PDF HTML 收藏