代码大模型 / AI 编程

VeriSoftBench: Repository-Scale Formal Verification Benchmarks for Lean

VeriSoftBench: 仓库级形式验证基准测试用于Lean

Yutong Xin, Qiaochu Chen, Greg Durrett, Işil Dillig

机构 * New York University（纽约大学） ； The University of Texas at Austin（德克萨斯大学奥斯汀分校） 纠错

专题命中 仓库级理解 ：repository(title,abstract)；分类 cs.SE、cs.CL、cs.LG

AI总结 VeriSoftBench通过500个Lean 4证明义务评估LLM和证明器在仓库级形式验证中的表现，揭示了依赖闭包对证明成功率的影响。

The Cardiac Analytics and Innovation (CardiacAI) Data Repository: An Australian data resource for translational cardiovascular research

心脏分析与创新（CardiacAI）数据仓库：一个澳大利亚的心血管研究转化资源

Victoria Blake, Louisa Jorm, Jennifer Yu, Astin Lee, Blanca Gallego, Sze-Yuan Ooi

专题命中 仓库级理解 ：repository(title,abstract)

AI总结 CardiacAI项目建立了一个澳大利亚的心血管研究转化数据资源，通过整合电子医疗记录与人口健康数据，促进心血管疾病的研究与治疗改进。

Comments Author Notes: Blanca Gallego and Sze-Yuan Ooi are co-senior authors of this paper. Blanca Gallego is the senior technical author and Sze-Yuan Ooi is the senior clinical author

The Invisible Hand of AI Libraries Shaping Open Source Projects and Communities

人工智能库对开源项目与社区的无形之手

Matteo Esposito, Andrea Janes, Valentina Lenarduzzi, Davide Taibi

机构 * University of Oulu（奥卢大学） ； Free University of Bozen-Bolzano（博尔扎诺自由大学） ； University of Southern Denmark（丹麦南部大学） 纠错

专题命中 仓库级理解 ：repository(abstract)；分类 cs.SE、cs.CL、cs.AI

AI总结 本文研究人工智能库在Python和Java开源项目中的采用情况及其对开发实践和技术生态的影响。

Comments ACCEPTED REGISTERED REPORT AT SANER (CORE A*) 2026

PyTrim: A Practical Tool for Reducing Python Dependency Bloat

PyTrim: 一种减少Python依赖膨胀的实用工具

Konstantinos Karakatsanis, Georgios Alexopoulos, Ioannis Karyotakis, Foivos Timotheos Proestakis, Evangelos Talos, Panos Louridas, Dimitris Mitropoulos

专题命中 仓库级理解 ：repository(abstract)；分类 cs.SE

AI总结 PyTrim是一种自动化减少Python项目依赖膨胀的工具，通过动态分析和模块化设计提高依赖检测准确性，并已成功应用于多个开源项目。

Comments Accepted in the Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering (ASE), Seoul, Korea. Supported by EU's Horizon 2021 research and innovation programme under grant agreement no. 101070599 (SecOPERA)

Journal ref 2025 40th IEEE/ACM International Conference on Automated Software Engineering (ASE), pp. 4070-4073

Mind the Boundary: Stabilizing Gemini Enterprise A2A via a Cloud Run Hub Across Projects and Accounts

注意边界：通过跨项目和账户的云运行枢纽稳定Gemini Enterprise A2A

Takao Morita

机构 * Independent Researcher（独立研究者） 纠错

专题命中 仓库级理解 ：repository(abstract)；分类 cs.AI

AI总结 通过跨项目和账户的云运行枢纽稳定Gemini Enterprise A2A，解决边界依赖认证和UI兼容性问题，实现可靠路由和稳定响应。

Comments 7 pages. Implementation and evaluation study of cross-boundary agent orchestration for Gemini Enterprise UI

Comparative study of different quadrature methods for cut elements

不同割元求积方法的比较研究

Michael Loibl, Guilherme H. Teixeira, Teoman Toprak, Irina Shishkina, Chen Miao, Josef Kiendl, Florian Kummer, Benjamin Marussig

专题命中 仓库级理解 ：repository(abstract)

AI总结 本文比较了不同割元求积方法的效率、准确性、通用性和稳健性，分析了输入参数对积分误差的影响，并提供了开源基准测试工具。

Comments preprint; in journal review process

PINEAPPLE: Physics-Informed Neuro-Evolution Algorithm for Prognostic Parameter Inference in Lithium-Ion Battery Electrodes

PINEAPPLE：用于锂离子电池电极寿命预测参数推断的物理信息神经进化算法

Karkulali Pugalenthi, Jian Cheng Wong, Qizheng Yang, Pao-Hsiung Chiu, My Ha Dao, Nagarajan Raghavan, Chinchun Ooi

专题命中 仓库级理解 ：repository(abstract)

AI总结 PINEAPPLE通过整合物理信息神经网络与进化算法，实现了对锂离子电池电极内部参数的高效、准确推断，为电池寿命预测和管理提供新的解决方案。

Journal ref Journal of Energy Storage, 2026

Symfrog-512: High-Capacity Sponge-Based AEAD Cipher (1024-bit State)

Symfrog-512: 高容量海绵基AEAD密码（1024位状态）

Victor Duarte Melo

专题命中 仓库级理解 ：repository(abstract)

AI总结 Symfrog-512提出了一种基于海绵结构的高容量AEAD密码，提供1024位状态，包含完整的实现和可验证的测试向量，强调安全性和性能的平衡。

Comments This work presents Symfrog-512, a sponge-based AEAD scheme with a 1024-bit permutation. A full specification, rationale, and reference implementation are included. The submission is exploratory and intended for public review and community cryptanalysis