代码大模型 / AI 编程

ExGS: Extreme 3D Gaussian Compression with Diffusion Priors

ExGS：基于扩散先验的极端3D高斯压缩

Jiaqi Chen, Xinhao Ji, Yuanyuan Gao, Hao Li, Yuning Gong, Yifei Liu, Dan Xu, Zhihang Zhong, Dingwen Zhang, Xiao Sun

机构 * Northwestern Polytechnical University（北western工业大学） ； Shanghai Artificial Intelligence Laboratory（上海人工智能实验室） ； Shanghai Jiao Tong University（上海交通大学） ； Hong Kong University of Science and Technology（香港科技大学） 纠错

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

AI总结 ExGS通过结合UGC和GaussPainter，利用扩散先验实现高效且高质量的极端3DGS压缩。

pqRPKI: A Practical RPKI Architecture for the Post-Quantum Era

pqRPKI：面向后量子时代的实用RPKI架构

Weitong Li, Yuze Li, Taejoong Chung

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

AI总结 pqRPKI是一种面向后量子时代的RPKI架构，通过多层Merkle树梯与RPKI对象结合，优化验证流程并减少存储和计算开销，实现高效双栈部署。

GWAS Summary Statistic Tool: A Meta-Analysis and Parsing Tool for Polygenic Risk Score Calculation

GWAS总结统计工具：用于多基因风险评分计算的元分析和解析工具

Muhammad Muneeb, David B. Ascher

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

AI总结 GWASPoker是一种用于多基因风险评分计算的GWAS总结统计工具，通过部分下载和标题检测自动筛选和解析GWAS文件，提高PRS计算效率。

Twitch: Learning Abstractions for Equational Theorem Proving

Twitch: 为等式定理证明学习抽象

Guy Axelrod, Moa Johansson, Nicholas Smallbone

机构 * Chalmers University, of Technology（查尔姆斯理工大学） ； University of Gothenburg（哥德堡大学） 纠错

专题命中 程序分析与验证 ：program synthesis(abstract)；分类 cs.AI

AI总结 Twitch通过自动学习等式定理证明中的抽象模式，提升证明效率和速度。

Comments 20 pages, submitted to IJCAR 2026