代码大模型 / AI 编程

Explainable Ensemble-Based Machine Learning Models for Detecting the Presence of Cirrhosis in Hepatitis C Patients

基于可解释集成机器学习模型检测丙型肝炎患者肝硬化的存在

Abrar Alotaibi, Lujain Alnajrani, Nawal Alsheikh, Alhatoon Alanazy, Salam Alshammasi, Meshael Almusairii, Shoog Alrassan, Aisha Alansari

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

AI总结 本研究利用四种集成机器学习算法（随机森林、梯度提升机、极端梯度提升和极端随机树）检测丙型肝炎患者的肝硬化，其中极端随机树模型在仅使用16个特征时达到96.92%的准确率，优于其他模型。

Journal ref Computation 2023, 11, 104

Formalizing a Many-Sorted Hybrid Polyadic Modal Logic in Lean

在Lean中形式化多类混合多模态逻辑

Andrei-Alexandru Oltean, Bogdan Macovei, Ioana Leuştean

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

AI总结 本文在Lean中形式化了一个多类签名和多模态算子的混合模态逻辑，提供DSL用于定义语言和协议，并证明了其可靠性定理，展示了在代码验证、BAN逻辑和S5系统中的应用。

Solarsystem: A Validated Lightweight Python Package for Planetary Positions and Solar-Lunar Event Calculations

Solarsystem: 一个经过验证的轻量级Python包，用于行星位置和太阳-月球事件计算

Ioannis Nasios

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

AI总结 本文介绍solarsystem，一个轻量级、无依赖的Python包，使用解析模型计算行星位置和太阳-月球事件，经JPL DE440星历验证，平均经度偏差0.44角分，纬度偏差0.16角分。

TMP: Tree-structured Mixed-policy Pruning for Large-scale Image Generation and Editing

TMP：面向大规模图像生成与编辑的树结构混合策略剪枝

Peizhen Zhang, Yang Li, Xunsong Li, Songtao Liu, Zewen Liu, Qiangqiang Hu, Guotong Guo, Jupeng Ding, Yifu Sun, coopersli, Jian Zhang, Zhao Zhong, Liefeng Bo

机构 * Multimodal Model Department, Tencent（腾讯多模态模型部） 纠错

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

AI总结 提出首个树结构混合策略剪枝框架TMP，适用于文本到图像和文本引导图像到图像任务及MoE/DiT架构，以75%压缩比将HunyuanImage 3.0从80B降至20B参数，并在单张4090 GPU上推理。

Comments 10 pages, 3 figures, 3 tables, tech report

The Line Emission Terahertz Observatory (LETO): Exploring the lifecycle of the ISM and the origins of water

谱线发射太赫兹天文台（LETO）：探索星际介质的生命周期和水的起源

Dimitra Rigopoulou, Peter Roelfsema, William Grainger, Chris Pearson, Boon-Kok Tan, Wouter Laauwen, Andrey Baryshev, Vincent Desmaris, Ismael Garcia-Bernete, Javier R. Goicoechea, Leslie Hunt, Georgios Magdis, Miguel Pereira-Santaella, Kamber Schwarz, Bryan Shaugnessy, Martina Wiedner

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

AI总结 LETO通过高分辨率光谱巡天，研究星际介质对恒星形成的影响、气体云转化为恒星和行星系统的过程，以及水在星际介质中的流动。

Comments 9 pages, 6 figures, to appear in SPIE Astronomical Telescopes & Instrumentation Proceedings

Communication-Efficient, 2D Parallel Stochastic Gradient Descent for Distributed-Memory Optimization

面向分布式内存优化的通信高效二维并行随机梯度下降

Aditya Devarakonda, Ramakrishnan Kannan

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

AI总结 提出二维并行SGD方法HybridSGD，通过理论分析和实验验证，在通信效率与收敛性能间取得连续权衡，相比一维方法实现高达121倍加速。