Fuzzy numbers revisited: operations on extensional fuzzy numbers
专题命中 仓库级理解 :repository(abstract);分类 cs.AI
Comments 33 pages, 62 references
Journal ref Fuzzy Sets and Systems, Volume 544, 2026,
AI 大模型
代码生成、软件工程智能体、程序修复、测试生成和开发者工具。
专题命中 仓库级理解 :repository(abstract);分类 cs.AI
Comments 33 pages, 62 references
Journal ref Fuzzy Sets and Systems, Volume 544, 2026,
ExDoS:专家引导的双焦点跨模态蒸馏用于智能合约漏洞检测
专题命中 仓库级理解 :code model(abstract)
AI总结 本文提出ExDoS方法,通过双焦点蒸馏框架,从源代码到字节码转移语义知识,提升智能合约漏洞检测的细粒度对齐与识别能力。
Comments This work has been submitted to the IEEE for possible publication
可变年金:深入审视棘轮担保、混合合约设计与税收
专题命中 仓库级理解 :repository(abstract)
AI总结 本文研究含最低提款保障、棘轮机制与现金基金的可变年金合约,通过反向动态规划分析投保人最优策略,揭示税收、现金基金与棘轮机制的相互作用,发现二者均提升合约估值、抑制提前退保与主动提款,高税率时需同时包含以刺激需求。
Comments 36 pages, 9 figures, 6 tables
基于模型合并的跨域代码克隆检测统一模型
专题命中 其他AI编程 :code model(abstract);分类 cs.SE、cs.AI
AI总结 本文提出通过模型合并技术构建跨域代码克隆检测器,经实验验证TIES合并方法泛化性更优,合并后检测器性能优于零样本代码大模型且泛化性更强。
Comments Accepted at ASE 2026
Journal ref Proceedings of the 41st IEEE/ACM International Conference on Automated Software Engineering (ASE '26), October 12--16, 2026, Munich, Germany