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

高校专区

Nanjing University(南京大学)

共收录 1177
2605.04946 2026-05-13 cs.LG stat.ML

Training-Time Batch Normalization Reshapes Local Partition Geometry in Piecewise-Affine Networks

训练时批量归一化在分段仿射网络中重塑局部分区几何

Xuan Qi, Yi Wei, Fanqi Yu, Furao Shen, Vittorio Murino, Cigdem Beyan

机构 * AI for Good Istituto Italiano di Tecnologia(AI for Good 意大利技术研究院) DITEN University of Genoa(DITEN Genoa大学) State Key Laboratory of Novel Software Technology School of Intelligence Science and Technology(新型软件技术国家重点实验室 智能科学与技术学院) School of Artificial Intelligence Nanjing University(人工智能学院 南京大学) Department of Computer Science University of Verona(计算机科学系 Verona大学)

AI总结 研究训练时批量归一化在分段仿射网络中通过切换超平面几何和诱导的仿射区域分区影响局部分区精度。

详情

展开后加载摘要…

URL PDF HTML 收藏
2512.11321 2026-05-13 cs.CV

KeyframeFace: Language-Driven Facial Animation via Semantic Keyframes

KeyframeFace: 通过语义关键帧实现语言驱动的面部动画

Jingchao Wu, Zejian Kang, Haibo Liu, Yuanchen Fei, Xiangru Huang

机构 * Westlake University(西湖大学) Nanjing University(南京大学) Zhejiang University(浙江大学) Hunan University(湖南大学)

AI总结 本文提出KeyframeFace框架,通过语义关键帧实现语言驱动的面部动画,提升面部表情的精确控制与可解释性。

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.10765 2026-05-12 cs.CV cs.AI cs.LG

Dynamic Cross-Modal Prompt Generation for Multimodal Continual Instruction Tuning

动态跨模态提示生成用于多模态持续指令微调

Tao Hu, Da-Wei Zhou

机构 * School of Artificial Intelligence, Nanjing University(南京大学人工智能学院) State Key Laboratory for Novel Software Technology, Nanjing University(南京大学新型软件技术国家重点实验室)

AI总结 本文提出DRAPE框架,通过生成连续实例特定的软提示提升多模态持续指令微调性能,采用跨模态注意力和投影梯度投影减少遗忘,实验显示优于现有基线方法。

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.10468 2026-05-12 cs.LG

Can Muon Fine-tune Adam-Pretrained Models?

Muon能否微调Adam预训练模型?

Xingyu Qu, Peigeng Huang, Samuel Horvath

机构 * Nanjing University(南京大学)

AI总结 研究发现Muon在微调时因与Adam的隐式偏置差异导致性能下降,通过LoRA等方法验证了限制更新强度可缓解这一问题。

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.10445 2026-05-12 cs.CV

Uni-Synergy: Bridging Understanding and Generation for Personalized Reasoning via Co-operative Reinforcement Learning

Uni-Synergy:通过协作强化学习实现个性化推理的理解与生成弥合

Zijun Shen, Sihan Yang, Ruichuan An, Ziyu Guo, Hao Liang, Ming Lu, Renrui Zhang, Wentao Zhang

机构 * Peking University(北京大学) Nanjing University(南京大学) CUHK(香港中文大学) Zhongguancun Academy(中关村学院)

AI总结 本文提出Sync-R1框架,通过协作强化学习统一优化个性化理解和生成,结合Sync-GRPO和DGS方法提升双任务协同效率,实验证明其在跨任务推理和鲁棒个性化方面的优越性能。

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.10194 2026-05-12 cs.AI cs.LG

TRACE: Distilling Where It Matters via Token-Routed Self On-Policy Alignment

TRACE:通过令牌路由自我对策略对齐来聚焦关键位置

Jiaxuan Wang, Xuan Ouyang, Zhiyu Chen, Yulan Hu, Zheng Pan, Xin Li, Lan-Zhe Guo

机构 * State Key Laboratory of Novel Software Technology, Nanjing University(南京大学新型软件技术国家重点实验室) School of Intelligence Science and Technology, Nanjing University(南京大学智能科学与技术学院) AMAP, Alibaba Group(阿里集团AMAP) University of Wisconsin–Madison(威斯康星大学麦迪逊分校) Tsinghua University(清华大学)

AI总结 TRACE通过令牌路由自我对齐方法,在关键位置进行知识蒸馏,减少冗余梯度影响,提升长周期数学任务表现,优于GRPO并保持外部基准性能。

Comments work in progress

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.09971 2026-05-12 cs.HC cs.AI

HapticLDM: A Diffusion Model for Text-to-Vibrotactile Generation

HapticLDM:一种用于文本到触觉生成的扩散模型

Jiahao Xiong, Fei Wang, Anran Xu, Pinzhi Huang, Tao Wen, Lijia Pan, Cai Chen

机构 * Technology Development Center, Guangzhou Shiyuan Electronic Technology Company Limited(广州仕元电子技术有限公司技术发展中心) School of Automation and Intelligence, Beijing Jiaotong University(北京交通大学自动化与智能学院) Department of Architecture, University of California, Berkeley(加州大学伯克利分校建筑系) School of Electronic Science and Engineering, Nanjing University(南京大学电子科学与技术学院)

AI总结 本文提出HapticLDM,基于潜在扩散模型生成文本到触觉反馈,通过动态数据处理和全局去噪机制提升振动生成的准确性和一致性,经评估显示其在真实感和语义对齐方面表现优异。

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.09328 2026-05-12 cs.CV

Noise-Started One-Step Real-World Super-Resolution via LR-Conditioned SplitMeanFlow and GAN Refinement

基于LR条件SplitMeanFlow和GAN精炼的噪声启动一步真实世界超分辨率

Wei Zhu, Kai Zhang, Yu Zheng, Lei Luo, Yong Guo, Jian Yang

机构 * Nanjing University of Science and Technology(南京理工大学) Nanjing University(南京大学) Huawei(华为)

AI总结 本文提出SMFSR框架,通过LR条件SplitMeanFlow和GAN精炼实现噪声启动的一步真实世界超分辨率,保留扩散模型的随机噪声起点并提升生成效率与真实感。

详情

展开后加载摘要…

URL PDF HTML 收藏
2604.08178 2026-05-12 cs.AI

Aligning Agents via Planning: A Benchmark for Trajectory-Level Reward Modeling

通过规划对齐代理:一个轨迹级奖励建模的基准测试

Jiaxuan Wang, Yulan Hu, Wenjin Yang, Zheng Pan, Xin Li, Lan-Zhe Guo

机构 * State Key Laboratory of Novel Software Technology, Nanjing University(南京大学新型软件技术国家重点实验室) School of Intelligence Science and Technology, Nanjing University(南京大学智能科学与技术学院) AMAP, Alibaba Group(阿里集团AMAP)

AI总结 本文提出Plan-RewardBench,用于评估奖励模型在复杂工具使用场景中区分优选与干扰代理轨迹的能力,揭示了代理级奖励建模在长周期轨迹上的挑战。

Comments accepted to ACL 2026 main conference

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.09152 2026-05-12 cs.CL q-bio.NC

Meow-Omni 1: A Multimodal Large Language Model for Feline Ethology

Meow-Omni 1:用于猫类行为学的多模态大语言模型

Jucheng Hu, Zhangquan Chen, Yulin Chen, Chengjie Hong, Liang Zhou, Tairan Wang, Sifei Li, Giulio Zhu, Feng Zhou, Yiheng Zeng, Suorong Yang, Dongzhan Zhou

机构 * University College London(伦敦大学学院) Tsinghua University(清华大学) Nanjing University(南京大学) Shanghai Artificial Intelligence Laboratory(上海人工智能实验室)

AI总结 Meow-Omni 1通过融合视频、音频和生理时间序列数据,实现对动物意图的精准识别,其在MeowBench基准测试中达到71.16%的准确率,推动了跨物种意图理解及基础模型在兽医诊断和野生动物保护中的应用。

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.08999 2026-05-12 cs.LG

Non-Parametric Rehearsal Learning via Conditional Mean Embeddings

非参数化重现学习 via 条件均值嵌入

Wen-Bo Du, Tian-Zuo Wang, Han-Jia Ye, Zhi-Hua Zhou

机构 * National Key Laboratory for Novel Software Technology, Nanjing University, China(南京大学新型软件技术国家重点实验室) School of Artificial Intelligence, Nanjing University, China(南京大学人工智能学院)

AI总结 本文提出一种非参数化重现学习方法,通过条件均值嵌入处理动作诱导的分布变化,解决避免不良未来问题,无需假设数据生成过程的具体形式。

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.08839 2026-05-12 cs.CV

Cross-Sample Relational Fusion: Unifying Domain Generalization and Class-Incremental Learning

跨样本关系融合:统一领域泛化与类增量学习

Zhen-Hao Xie, Yan Wang, Hao Sun, Han-Jia Ye, De-Chuan Zhan, Da-Wei Zhou

机构 * School of Artificial Intelligence and the State Key Laboratory of Novel Software Technology, Nanjing University(人工智能学院和新型软件技术国家重点实验室,南京大学)

AI总结 本文提出CORF框架,通过选择性样本精炼和预测置信度调整,解决领域偏移和灾难性遗忘问题,提升类增量学习的泛化能力。

Comments Accepted by IEEE Transactions on Multimedia (TMM 2026). Code is available at https://github.com/LAMDA-CL/TMM26-CORF

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.08813 2026-05-12 cs.LG

AgentSlimming: Towards Efficient and Cost-Aware Multi-Agent Systems

AgentSlimming: 向高效且成本敏感的多智能体系统迈进

Yulang Chen, Haoxuan Peng, Jinyan Liu, Zichen Wen, Dongrui Liu, Linfeng Zhang

机构 * Shanghai Jiao Tong University(上海交通大学) Nanjing University(南京大学) The University of Sydney(悉尼大学) Nanjing University of Aeronautics and Astronautics(南京航空航天大学) Shanghai AI Laboratory(上海人工智能实验室)

AI总结 本文提出AgentSlimming框架,通过重要性评分和基线锚定规则压缩多智能体工作流,降低token成本达78.9%且性能损失小,实现成本与质量的帕累托最优。

详情

展开后加载摘要…

URL PDF HTML 收藏
2509.15519 2026-05-12 cs.LG

Fully Decentralized Cooperative Multi-Agent Reinforcement Learning is A Context Modeling Problem

完全去中心化的协作多智能体强化学习是上下文建模问题

Chao Li, Bingkun Bao, Yang Gao

机构 * School of Computer Science, Nanjing University of Posts and Telecommunications(南京邮电大学计算机科学学院) School of Intelligent Science and Technology, Nanjing University(南京大学智能科学与技术学院) School of Intelligent Science(南京大学智能科学学院)

AI总结 本文研究完全去中心化的协作多智能体强化学习,提出Dynamics-Aware Context方法,通过上下文建模解决非平稳性和相对过泛化问题,实验验证其有效性。

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.08144 2026-05-12 cs.LG cs.AI cs.CV

NoiseRater: Meta-Learned Noise Valuation for Diffusion Model Training

NoiseRater: 用于扩散模型训练的元学习噪声估值

Fang Wu, Haokai Zhao, Da Xing, Hanqun Cao, Tinson Xu, Yanchao Li, Xiangru Tang, Zehong Wang, Aaron Tu, Kuan Pang, Hanchen Wang, Hongbin Lin, Zeqi Zhou, Yinxi Li, Peng Xia, Li Erran Li, Molei Tao, Jure Leskovec, Aditya Joshi, Yejin Choi

机构 * Stanford University(斯坦福大学) UNSW(新南威尔士大学) UCL(伦敦大学学院) The University of Chicago(芝加哥大学) CUHK(香港中文大学) Nanjing University(南京大学) Brown University(布朗大学) Yale University(耶鲁大学) University of Notre Dame(Notre Dame 大学) University of Waterloo(滑铁卢大学) UCB(加州大学伯克利分校) Georgia Technology(佐治亚理工学院) Amazon(亚马逊)

AI总结 本文提出NoiseRater,通过元学习实现实例级噪声估值,提升扩散模型训练效率和生成质量。

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.07562 2026-05-11 cs.CV

Beyond GSD-as-Token: Continuous Scale Conditioning for Remote Sensing VLMs

超越GSD-as-Token:远程 sensing VLMs 的连续尺度调节

Song Zhang, Yanlong Chen, Yilin Li, Yining Chen, Zili Yi, Xiaowei Zhang, Yawei Li

机构 * Nanjing University(南京大学) ETH Zurich(苏黎世联邦理工学院) RWTH Aachen University(亚琛工业大学)

AI总结 本文提出ScaleEarth框架,通过连续尺度条件变量动态调节模型计算路径,结合SSE-U和GeoScale-VQA实现遥感VLMs在不同GSD下的高效适应。

Comments Under review. 30 pages, 16 figures, 7 tables

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.06474 2026-05-11 cs.LG cs.AI stat.ML

Q-MMR: Off-Policy Evaluation via Recursive Reweighting and Moment Matching

Q-MMR:通过递归加权和矩匹配进行非策略评估

Xiang Li, Nan Jiang

机构 * Nanjing University(南京大学)

AI总结 Q-MMR提出了一种新的理论框架,用于有限时间 horizon MDPs 的非策略评估,通过递归加权和矩匹配目标函数学习权重,实现目标策略下的预期回报近似,并在无样本条件下提供函数逼近的有限样本保证。

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.00814 2026-05-11 cs.CV cs.AI

Persistent Visual Memory: Sustaining Perception for Deep Generation in LVLMs

持久视觉记忆:在大型视觉-语言模型中维持感知以实现深度生成

Siyuan Huang, Xiaoye Qu, Yafu Li, Tong Zhu, Zefeng He, Muxin Fu, Daizong Liu, Wei-Long Zheng, Yu Cheng

机构 * Shanghai AI Laboratory(上海人工智能实验室) Shanghai Jiao Tong University(上海交通大学) The Chinese University of Hong Kong(香港中文大学) Nanjing University(南京大学) Tongji University(同济大学) Wuhan University(武汉大学)

AI总结 本文提出PVM模块,通过增强视觉证据的持续访问能力,解决LVLMs中视觉信号稀释问题,提升复杂推理任务的准确率。

详情

展开后加载摘要…

URL PDF HTML 收藏
2602.07425 2026-05-11 cs.LG cs.CL math.OC

Sign-Based Optimizers Are Effective Under Heavy-Tailed Noise

基于符号的优化器在重尾噪声下表现有效

Dingzhi Yu, Hongyi Tao, Yuanyu Wan, Luo Luo, Lijun Zhang

机构 * State Key Laboratory of Novel Software Technology, Nanjing University(南京大学新型软件技术国家重点实验室) School of Artificial Intelligence, Nanjing University(南京大学人工智能学院) School of Software Technology, Zhejiang University(浙江大学软件学院) School of Data Science, Fudan University(复旦大学数据科学学院)

AI总结 本文研究了在重尾梯度噪声下,基于符号的优化器如SignSGD和Lion相较于传统自适应方法的优越性,通过理论分析和实验验证,证明其在处理重尾噪声时的高效性。

Comments Code is available at https://github.com/Dingzhen230/Heavy-tailed-Noise-in-LLMs

详情

展开后加载摘要…

URL PDF HTML 收藏
2602.23811 2026-05-11 cs.LG cs.AI

Beyond State-Wise Mirror Descent: Offline Policy Optimization with Parametric Policies

超越状态级镜像下降:带有参数策略的离线策略优化

Xiang Li, Yuheng Zhang, Nan Jiang

机构 * Nanjing University(南京大学) UIUC(伊利诺伊大学)

AI总结 本文研究了在一般函数逼近下离线强化学习的理论方面,扩展了理论保证到大或连续动作空间上的参数策略类,并提出了基于上下文耦合的新型分析和算法见解。

详情

展开后加载摘要…

URL PDF HTML 收藏
2503.05085 2026-05-11 cs.CL cs.SD eess.AS

S2S-Arena: Evaluating Paralinguistic Instruction Following in Speech-to-Speech Models

S2S-Arena:评估语音到语音模型的副语言指令遵循

Feng Jiang, Zhiyu Lin, Yiyang Liu, Liumeng Xue, Fan Bu, Yuhao Du, Xiangying Chen, Benyou Wang, Haizhou Li

机构 * Artificial Intelligence Research Institute, Shenzhen University of Advanced Technology(深圳先进技术研究院) The Chinese University of Hong Kong, Shenzhen(香港中文大学(深圳)) Nanjing University(南京大学) Shenzhen Loop Area Institute(深圳河套学院) CentraleSupélec, Université Paris-Saclay(巴黎萨克雷大学CentraleSupélec分校) National University of Singapore(新加坡国立大学)

AI总结 S2S-Arena通过四级交互协议和双阶段数据构建流程,评估语音模型在语义理解和副语言表达上的能力,揭示了现有系统在复杂副语言需求下的性能差距。

Comments Accepted by ACL 2026 main

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.06658 2026-05-08 cs.CV

Relit-LiVE: Relight Video by Jointly Learning Environment Video

Relit-LiVE: 通过联合学习环境视频实现视频照明

Weiqing Xiao, Hong Li, Xiuyu Yang, Houyuan Chen, Wenyi Li, Tianqi Liu, Shaocong Xu, Chongjie Ye, Hao Zhao, Beibei Wang

机构 * Nanjing University(南京大学) Tsinghua University(清华大学) The Hong Kong University of Science and Technology(香港科学与技术大学) University of Chinese Academy of Sciences(中国科学院大学) Huazhong University of Science and Technology(华中科技大学) The Chinese University of Hong Kong, Shenzhen(香港中文大学(深圳))

AI总结 Relit-LiVE通过引入原始参考图像和环境视频预测方法,实现了无需相机姿态先验知识的物理一致视频照明,提升了真实场景下的照明效果和时间稳定性。

Comments Accepted at SIGGRAPH 2026. Project site: https://github.com/zhuxing0/Relit-LiVE

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.06615 2026-05-08 cs.LG cs.AI cs.CL math.OC

When and Why SignSGD Outperforms SGD: A Theoretical Study Based on $\ell_1$-norm Lower Bounds

何时以及为何SignSGD优于SGD:基于ℓ1范数下界的一个理论研究

Hongyi Tao, Dingzhi Yu, Lijun Zhang

机构 * State Key Laboratory of Novel Software Technology, Nanjing University(南京大学新型软件技术国家重点实验室) School of Artificial Intelligence, Nanjing University(南京大学人工智能学院)

AI总结 本文通过分析ℓ1范数站稳性、ℓ∞光滑性和可分离噪声模型,揭示SignSGD在稀疏噪声下比SGD更高效的原因,并证明其在矩阵域中的最优性。

Comments Code is available at https://github.com/Dingzhen230/SignSGD_Outperforms_SGD

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.06311 2026-05-08 cs.RO

Toward Visually Realistic Simulation: A Benchmark for Evaluating Robot Manipulation in Simulation

迈向视觉逼真模拟:评估机器人操作的基准测试

Yixin Zhu, Zixiong Wang, Jian Yang, Jin Xie, Jingyi Yu, Jiayuan Gu, Beibei Wang

机构 * Nanjing University(南京大学) Nankai University(南开大学) ShanghaiTech University(上海科技大学)

AI总结 本文提出VISER基准,通过高保真3D资产和物理渲染材料,评估机器人操作的视觉逼真度,提升仿真与现实性能的关联性。

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.06161 2026-05-08 cs.AI cs.SE

Beyond Accuracy: Policy Invariance as a Reliability Test for LLM Safety Judges

超越准确性:将政策不变性作为LLM安全裁判的可靠性测试

Shihao Weng, Yang Feng, Xiaofei Xie

机构 * Nanjing University(南京大学) Singapore Management University(新加坡国立管理学院)

AI总结 本文提出政策不变性作为LLM安全裁判可靠性测试,通过三个可测试原则揭示现有裁判在面对规范性变化和结构性重写时的失效模式,并提出政策不变性分数和裁判卡报告协议以评估裁判可靠性。

Comments 9 pages

详情

展开后加载摘要…

URL PDF HTML 收藏
2603.02950 2026-05-08 cs.CY cs.AI cs.GT

Path Dependence under Adaptive AI Delegation

适应性AI委托下的路径依赖

Lingxiao Huang, Nisheeth K. Vishnoi

机构 * Nanjing University(南京大学) Yale University(耶鲁大学)

AI总结 研究探讨了适应性AI委托对长期技能与独立工作能力的动态影响,揭示了路径依赖性及技能变化与依赖倾向的耦合效应。

详情

展开后加载摘要…

URL PDF HTML 收藏
2602.15872 2026-05-08 cs.RO cs.CV cs.LG

MARVL: Multi-Stage Guidance for Robotic Manipulation via Vision-Language Models

MARVL:通过视觉-语言模型实现机器人操作的多阶段引导

Xunlan Zhou, Xuanlin Chen, Shaowei Zhang, ShengHua Wan, Xiaohai Hu, Lei Yuan, De-chuan Zhan

机构 * School of Intelligent Science and Technology, Nanjing University, China(南京大学智能科学与技术学院) National Key Laboratory for Novel Software Technology, School of Artificial Intelligence, Nanjing University, China(南京大学新型软件技术国家实验室,人工智能学院) School of Artificial Intelligence, Nanjing University, China(南京大学人工智能学院) MACS Lab, University of Washington(华盛顿大学MACS实验室)

AI总结 本文提出MARVL,通过视觉-语言模型实现机器人操作的多阶段引导,解决传统密集奖励函数设计中的问题,提升样本效率和鲁棒性。

详情

展开后加载摘要…

URL PDF HTML 收藏
2510.19316 2026-05-08 cs.CL

KORE: Enhancing Knowledge Injection for Large Multimodal Models via Knowledge-Oriented Controls

KORE:通过知识导向控制增强大型多模态模型的知识注入

Kailin Jiang, Hongbo Jiang, Ning Jiang, Zhi Gao, Jinhe Bi, Yuchen Ren, Bin Li, Yuntao Du, Lei Liu, Qing Li

机构 * University of Science State Key Laboratory of General Artificial Intelligence, BIGAI Xiamen University Northeast Forestry University Beijing Institute of Technology Ludwig Maximilian University of Munich The University of Sydney C-FAIR\&school of software, Shandong University State Key Lab. for Novel Software Technology, Nanjing University, P.R. China

AI总结 KORE通过知识导向的增强和约束,提升大型多模态模型的知识注入能力,同时保留旧知识。方法利用协方差矩阵和投影初始化,有效减少灾难性遗忘。

Comments ICML 2026, Project Page: https://kore-lmm.github.io/

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.05826 2026-05-08 cs.AI

AGPO: Asymmetric Group Policy Optimization for Verifiable Reasoning and Search Ads Relevance at JD

AGPO:面向京东可验证推理和搜索广告相关性的非对称分组策略优化

Yang Xu, Kun Yao, Yiming Deng, Zheng Fang, Kai Ming Ting, Ming Pang

机构 * Nanjing University, Nanjing, China(南京大学) Peking University, Beijing, China(北京大学)

AI总结 本文提出AGPO方法,通过非对称分组策略优化,抑制错误推理路径,提升模型探索能力,并在数学基准和工业应用中实现高准确率和性能提升。

详情

展开后加载摘要…

URL PDF HTML 收藏
2603.19715 2026-05-08 cs.AI

Neuro-Symbolic Proof Generation for Scaling Systems Software Verification

神经符号证明生成用于系统软件验证的扩展

Baoding He, Zenan Li, Wei Sun, Yuan Yao, Taolue Chen, Xiaoxing Ma, Zhendong Su

机构 * State Key Laboratory of Novel Software Technology, Nanjing University, China(南京大学新型软件技术国家重点实验室) School of Computer Science, Nanjing University, China(南京大学计算机科学学院) Department of Computer Science, ETH Zurich, Switzerland(苏黎世联邦理工学院计算机科学系) School of Computing and Mathematical Sciences, Birkbeck, University of London, UK(伦敦大学伯克贝克学院计算与数学科学学院)

AI总结 本文提出一种神经符号证明生成框架,通过结合大语言模型和交互式定理证明工具,实现系统级验证的自动化证明搜索,有效提升软件验证的可扩展性。

Comments Published as a conference paper at OSDI'2026, and code is available at \url{https://github.com/SoaringE/seL4-proof-search}

详情

展开后加载摘要…

URL PDF HTML 收藏