代码大模型 / AI 编程

Recursive Program Synthesis from Sketches and Mixed-Quantifier Properties

从混合量词属性中递归程序合成

Derek Egolf, Stavros Tripakis

专题命中 代码生成 ：program synthesis(title)

AI总结 本文提出了一种基于反例引导和预防性剪枝的递归程序合成方法，通过斯科伦化将混合量词问题转化为$\forall^*$-合成问题，提升合成效率。

AgentCgroup: Understanding and Controlling OS Resources of AI Agents

AgentCgroup: 理解和控制AI代理的操作系统资源

Yusheng Zheng, Jiakun Fan, Quanzhi Fu, Yiwei Yang, Wei Zhang, Andi Quinn

机构 * UC Santa Cruz（加州大学圣克鲁兹分校） ； Virginia Tech（弗吉尼亚理工大学） ； UConn（康涅狄格大学） 纠错

专题命中 软件智能体 ：coding agent(abstract)；分类 cs.AI

AI总结 AgentCgroup通过意图驱动的eBPF资源控制器，解决多租户云环境中AI代理资源管理的粒度、响应性和适应性不匹配问题，提升隔离性和减少资源浪费。

GLUSE: Enhanced Channel-Wise Adaptive Gated Linear Units SE for Onboard Satellite Earth Observation Image Classification

GLUSE：用于机载卫星地球观测图像分类的增强型通道自适应门控线性单元SE

Thanh-Dung Le, Vu Nguyen Ha, Ti Ti Nguyen, Duc-Dung Tran, Hung Nguyen-Kha, Luis M. Garces-Socarras, Juan Carlos Merlano-Duncan, Symeon Chatzinotas

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

AI总结 研究提出ResNet-GLUSE，通过GLUSE增强的轻量级ResNet变体。在图像分类实验中验证其有效性，相比MobileViT虽准确率略低，但资源消耗大幅减少，还适用于神经形态计算，能平衡高精度与低资源消耗，为实时地球观测任务提供实用方案。

Comments Accepted for Publication in IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing, 2026