73903 条条目 · 106 个活跃源
2026年8月10日
04:00
arXiv cs.CL

重新思考并形式化跨语言中的“状态”:一种统一的计算学习理论解释

状态被重新定义为跨语言的系统性形态句法机制,形式化为集合函数,用学习算法预测语法配置。

04:00
ArXiv AI

爆炸半径

解决智能体编码高成本,预测性内存管理归档重复内容,减少17-26%令牌,可逆恢复。

04:00
arXiv cs.CV

CAS2UML:用于类图和活动图的手绘草图转PlantUML数据集

发布557幅手绘UML图及PlantUML代码,含验证工具,支持草图转UML的可复现基准测试。

04:00
arXiv cs.LG

超越短视世界模型:面向直接未来预测的长时程端到端训练

直接优化终点预测而非局部递归损失,可显著提升世界模型的长时程预测精度。

04:00
arXiv cs.CL

VISHC在PsyDefDetect:基于上下文感知合成增强缓解心理防御分类数据稀缺

提出上下文感知合成增强与混合模型,显著缓解心理防御分类数据稀缺并建立强基线。

04:00
arXiv cs.CV

CADSpotting:大规模CAD图纸上的鲁棒全景符号定位

提出基于密集采样点与滑窗聚合的新方法,实现大规模建筑图纸全景符号定位,性能显著优于现有方法。

04:00
arXiv cs.LG

基于可逆神经网络的未知非线性系统认证前馈跟踪

用可逆神经网络替代未知系统,共形预测给出代理误差的概率保证,认证跟踪误差,经非线性摩擦电机负载验证。

04:00
arXiv cs.LG

扩散大语言模型作为目标与对手:机制性安全漏洞利用

扩散LLM安全机制脆弱,剪枝可大幅提升攻击成功率;提出SN引导扩散黑盒越狱,高迁移性且成本极低。

04:00
ArXiv AI

交互产生孤立状态不存在的动态AI行为

单向指令使下属AI陷入从未出现的异常动态行为;老板倾听则同化。动力学理论解释信息传递方式之关键。

04:00
arXiv cs.CL

LiveMem:在长期运行的LLM推理中保持记忆状态连续性

提出LiveMem,通过固定容量记忆状态维持长期LLM推理的历史连续性,即使证据移出当前上下文也能正确回答。

04:00
arXiv cs.LG

LyEvO:李雅普诺夫引导的进化优化,用于安全鲁棒的仿真到现实策略学习

提出物理约束框架,融合李雅普诺夫分析与进化优化,经统计验证迭代扩展稳定域,实现安全鲁棒的仿真到现实迁移。

04:00
ArXiv AI

Fisher-R1:训练LLM智能体进行可靠假设检验

LLM智能体假设检验易错,新方法Fisher-R1强化学习提升可靠性,平均改善21%

04:00
arXiv cs.CV

AutoIntervene:面向动作分块模仿学习策略的校准干预

AutoIntervene以视觉-动作支持记忆评估动作块,校准策略与操作者交接阈值,提升任务成功率并降低人工干预时间。

04:00
arXiv cs.LG

博弈论逆强化学习建模竞争性人类驾驶:切入预测研究

用博弈论逆强化学习预测激进切入变道,准确率超75%,精度/召回率达51%/49%,显著优于物理基准(精度4.4%),并揭示特征权衡。

04:00
arXiv cs.CV

C2Dex:单目视频中接触一致的灵巧操作重建与重定向

C2Dex提出稳定物体接触表征,引导单目视频手物交互重建与灵巧手重定向,大幅超越基线,实物实验验证可行。

04:00
arXiv cs.CL

每瓦智能:衡量本地AI的智能效率

本地模型可答88.7%查询,能效五年提升5.3倍,覆盖率达71.3%,且本地加速器能效优于云端1.4倍。

04:00
arXiv cs.CL

SignVerse-2M:55+手语的二百万片段姿态原生宇宙

含55+手语、约200万片段姿态原生数据集SignVerse-2M,DWPose统一处理,支持开放世界识别与生成。

04:00
ArXiv AI

用于评估神经退行性和慢性疾病中疲劳、睡眠和活动的移动交互

利用智能手机交互数据客观评估神经退行性疾病和慢性病患者的疲劳、睡眠及活动症状,分析屏幕使用特征与患者报告结果的相关性。

04:00
arXiv cs.CV

TEMPO:面向视觉-语言-动作模型的语义-动作解耦强化学习后训练

提出TEMPO框架,解耦VLA模型的语义与动作,分双速率强化学习,冻结视觉语言主干,提升操控任务表现。

04:00
arXiv cs.LG

FedTransKD-IDS:面向物联网入侵检测的鲁棒联邦迁移学习与知识蒸馏

提出FedTransKD-IDS框架,融合几何均值聚合、联邦迁移学习与知识蒸馏,在异构数据下实现99.18%准确率和99.99%召回率。

04:00
arXiv cs.LG

在Kurdyka-Łojasiewicz条件下的非凸随机优化的近端次梯度方法

提出近端随机次梯度法用于非凸非光滑优化,无需凸性和方差有界,几乎处处收敛且KL条件下整轨收敛并获多项式速率。

04:00
arXiv cs.CL

MetaSICL:通过元语音上下文学习,将听觉大语言模型推广至服务不足的说话者和语言

提出MetaSICL后训练法,仅用高资源语音数据增强听觉LLM的上下文适应能力,无需目标域数据,即可提升低资源任务性能。

04:00
arXiv cs.LG

快速且准确:通过环境感知模型选择的自适应VLA推理框架

提出环境感知模型选择框架,自适应切换大小双系统,兼顾成功率与高频控制。

04:00
ArXiv AI

从转换后的基于规则的本体中恢复解释

研究从重写规则下的证明恢复原始规则证明,确定计算复杂性并识别两种实用语言。

04:00
arXiv cs.CV

基于深度学习图像分割与几何建模的零回波时间MRI自动测量结果与专家手动读数一致

深度学习分割与几何建模实现零回波时间磁共振自动测量髋关节撞击角度,多数角度与专家手动结果高度一致。

04:00
arXiv cs.CL

反事实模拟训练提升思维链忠实度

提出反事实模拟训练(CST),通过奖励能预测反事实输入的思维链来提升其忠实度,显著改善监控准确率与可模拟性,优于提示基线且效率更高。

04:00
arXiv cs.CL

HFS:面向高效视频理解的整体式查询感知帧选择

提出端到端任务自适应帧选择:SLM查询感知评分与连续集合级目标优化,配合师生互学习,超越现有方法。

04:00
arXiv cs.CV

视觉地点识别模型是在识别地点还是条件?干扰增强评估与条件抑制

提出DAR评估视觉地点识别,发现模型常按条件而非地点匹配;抑制条件信息可提升抗干扰性,且不损召回。

04:00
ArXiv AI

面向符号执行的智能体规划

提出Agolic智能体规划系统,依据历史运行证据配置符号执行,平均分支覆盖提升3倍多,并覆盖其他工具未达分支。

04:00
arXiv cs.LG

Fairis:协作机器学习中抵御公平性投毒攻击的、具备可证明影响力遏制能力的公平感知聚合

提出Fairis重加权方案,按局部公平差异降权,可证明限制恶意客户端对全局模型的影响。

04:00
arXiv cs.CL

从计划到行动:智能体在多大程度上遵循计划?

分析21,120条轨迹:无计划时依赖内化,差计划比无计划更糟;提醒可提升遵循度。应训练模型遵循计划而非记忆。

04:00
arXiv cs.CL

Multi-Legal-Bench:跨司法辖区、语言和法律传统的大语言模型法律推理评估

首个跨司法辖区法律基准,覆盖6国1.65亿判决,发现少样本增益不均,跨语言迁移不循语言邻近性。

04:00
arXiv cs.AI

Muon训练Transformer中表示-读出接口处的Grokking后崩塌

Muon在模113加法grok后崩塌,根在表示-读出接口;冻结接口可避免,任务族完美却被对抗余项否决。

04:00
arXiv cs.CV

驾驶视觉-语言-动作模型中规划令牌的逐层探测与剪枝

驾驶VLA逐层探测计划令牌:语义可早解码,轨迹兼容渐升;剪8/32层仅增5%误差,提速1.33倍。

04:00
arXiv cs.CV

Grad-ECLIP:基于梯度的CLIP视觉与文本解释方法

提出基于梯度的CLIP解释方法,生成视觉与文本热力图,优于现有方法,并用于微调。

04:00
arXiv cs.CL

低精度Softmax Transformer与(摘要式)思维链的表达能力

分析标准Softmax Transformer,以对数规模模拟图灵机,摘要式思维链更高效,实证支持。

04:00
arXiv cs.CV

UniREditBench:统一的基于推理的图像编辑基准

提出统一推理图像编辑基准,含2700样本、多模态双参考评估,并构建数据集提升编辑性能。

04:00
arXiv cs.AI

通过多阶段后训练渐进对齐推荐基础模型

提出LP-FFT-RFT三阶段渐进后训练框架,先适配任务再对齐业务指标,离线优于单阶段,线上A/B测试提升推荐质量。

04:00
arXiv cs.AI

CyberForge: Verified Vulnerability Injection at Repository Level for Cybersecurity Agent Training

04:00
arXiv cs.LG

小批量最优传输下回流(Reflow)的极限点

回流交替小批量最优传输的极限是N-循环单调耦合;在梯度场条件下,极限等于端点分布间的最优传输映射。

04:00
arXiv cs.CV

DA-Cal:面向语义分割的跨域校准

针对语义分割中跨域校准问题,提出新框架,以元温度网络与双层优化优化软伪标签,提升目标域校准与性能。

04:00
arXiv cs.LG

在消费级GPU上利用收缩DAG实现密度泛函激发态梯度与非绝热耦合

首次在消费级显卡上实现双杂化激发态梯度与解析非绝热耦合,激发能平均偏差降至零点四七电子伏。

04:00
arXiv cs.CV

MotionStrata:用于紧凑视频自动编码的分层运动潜变量

MotionStrata将运动潜变量分层组织,分离全局与细节,经频率引导路由和粗到细训练,在不增维度下提升视频压缩重建质量,优于均匀表示。

04:00
arXiv cs.AI

MI-MIDI:通过探针、透镜和引导实现文本到MIDI生成模型的机制可解释性

用探针、透镜和引导分析两个文本到MIDI模型,揭示音高、配器等结构可线性解码,并实现双向控制。

04:00
arXiv cs.AI

智能体AI:用户赋权还是圈占?

智能体AI赋权取决于技术背后的政治决策;个体收益与集体抗争能力可能背离,治理固化压缩用户参与。

04:00
arXiv cs.LG

弱对抗神经推前方法求解玻尔兹曼方程

提出弱对抗神经推前法求解含时玻尔兹曼方程,用可逆推前映射生成样本并训练弱形式,数值实验验证有效。

04:00
ArXiv AI

SyncSBC:面向同步自主控制的去中心化群体行为预测

提出同步群体行为分类,融合机器学习与共识,去中心化同步决策,高精度低延迟,支持异常检测与行为协调。

04:00
arXiv cs.CV

PURe:面向视觉网络的即插即用乘积单元残差模块

提出即插即用的乘积单元残差模块PURe,在分类和CT分割中改善精度-参数权衡。

04:00
arXiv cs.CL

Fortran通用转译器:概念验证

提出FGPT转译器,将Fortran转为GPU/可微/NumPy/JAX代码,语义不变,气候内核验证通过。

04:00
arXiv cs.CV

大语言模型驱动的符号图形编程

提出强化学习可验证奖励提升文本到SVG生成,媲美前沿模型,揭示符号图形编程的跨模态对齐价值。