VPFlow：面向离线目标达成、基于价值预测规划的不完美世界模型方法
arXiv 论文提出 VPFlow，一种用价值预测代替精确状态预测进行规划的离线目标条件强化学习方法，其潜空间世界模型以目标达成价值为唯一监督，配合单步流策略在噪声空间用进化搜索规划。
更新
收录归档 · 第 100 页
arXiv cs.AIAI 评分3939 arXiv cs.AIAI 评分3838 COBOL 到 Java 迁移中可复现 entry-replay 测试用例的认证方法
研究者在此前提出的 Locksmith Loop 确定性验证方法基础上，提出通过 entry-replay 测试用例认证生成合成端到端测试、提升分支与段落覆盖率的新方法。
arXiv cs.AIAI 评分3737 用记录式推导审计安全偏好标注：符号化偏好标注方法
一项 arXiv 研究提出符号化偏好标注（Symbolic Preference Labeling）方法：用预训练语言模型对 prompt 与回复的预定义属性分类，再由显式规则和固定判定排序生成偏好标签，且每条标签可从存储的属性、规则和排序复算，无需重跑模型。
arXiv cs.AIAI 评分2929 JetBrains Research 定理证明器 Arend 论文阐述
JetBrains Research 开发的定理证明器 Arend 的阐述性论文发布在 arXiv 上。Arend 语言基于带 cubical 语法的同伦类型论变体，更贴近 Martin-Löf 类型论（MLTT），聚焦单价基础与构造性数学的形式化，其类与记录系统支持包含式子类型、部分实现和匿名扩展。
arXiv cs.AIAI 评分3636 当代码模型“知道”漏洞却难以线性说出：关系编码限制代码 LLM 的线性漏洞分类
一项被 EMNLP Findings 接收的研究分析了 8 个 6.7B–15B 参数的代码模型，基于 DELTASECOMMITS、SVEN 和 PRECISE-BUGS 三个 C 语言数据集进行线性探测。
arXiv cs.AIAI 评分3636 ValiAssist：通过示范规模化验证 LLM 生成的编程反馈
研究者提出 ValiAssist，一种“示范即验证”系统，从教师对 AI 生成编程反馈的修改中推断可复用的验证逻辑，并支持教师在其他学生提交上检查和细化该逻辑。在 16 名教师的对比研究中，系统帮助产出的反馈与教学意图的一致率达 91%（对照 57%），修正问题标准的准确率提升一倍以上（77% 对 32%）。
arXiv cs.AIAI 评分3838 面向大语言模型的针对性幻觉压力测试筛选方法研究
一项 arXiv 研究提出迭代编辑基于来源的种子提示词的方法，以暴露目标大语言模型的幻觉。实验覆盖来自 7 个数据集、10 个主题的 500 个种子，在基线配置下，针对外在与内在幻觉的测试中分别有 77.2% 和 74.2% 的回答落入评审的强幻觉区间。
arXiv cs.AIAI 评分5959 AutoRedClaw：面向持久化智能体的自动化红队框架与 RedClaw-Bench
研究团队发布 AutoRedClaw，一个自动生成端到端攻击及配套环境的红队框架，针对带配置文件、长期记忆和技能的 claw 式智能体的持久化威胁。
arXiv cs.AIAI 评分3939 MMedAgent-Plus：跨模态、任务与工作流扩展多模态医疗智能体
研究团队推出多模态医疗工具调用智能体 MMedAgent-Plus，将视觉语言规划器与覆盖 12 种任务、8 种模态的 18 个专科模型结合，规划器基于来自 32 个公开医疗基准的 208,928 个样本进行指令微调。
arXiv cs.AIAI 评分3434 Profile-DP：面向个性化 LLM 推理中用户可控资料发布的差分隐私框架
arXiv 论文提出 Profile-DP，一种面向个性化 LLM 推理中用户资料发布的策略感知本地差分隐私框架，可证明性地约束用户未授权信息的泄露。论文给出两个有限域机制：独立扰动受保护属性的 DP-SLOT 和基于公共语义决策联合采样的 DP-BLOCK。
arXiv cs.AIAI 评分3535 语言辅助监督视觉训练的泛化能力实证研究
一项发表于 Transactions on Machine Learning Research 的研究评估了预训练语言模型能否在不依赖图文配对数据、提示词工程或对比目标的情况下，为视觉训练提供轻量辅助监督。
arXiv cs.AIAI 评分3333 LoWAgent：面向 Web Agent 的低资源多语言评测基准
研究者推出 LoWAgent 基准，用于评测 Web Agent 在低资源语言上的表现，覆盖英语及印地语、孟加拉语、乌尔都语、阿姆哈拉语四种低资源语言，由 6 个完全本地化的网站在 5 种语言上生成 3,000 个任务实例。
arXiv cs.AIAI 评分3939 CARLAR 影响：多模态支票提取中的结构化幻觉风险与压缩图像干预探索
一项 arXiv 研究揭示了多模态大语言模型在支票金额提取中的 CARLAR 影响：模型在大小写金额两个原本不同的字段返回相同数值。研究在十种视觉提示条件下评测 GPT-4.1 与 Claude 4.5 Sonnet，涵盖 243 张主支票和 598 个严格不匹配样本，GPT-4.1 在金额遮蔽下 CARLAR 率达 73.7%，CARLAR 案例的期望校准误差高达 0.93。
arXiv cs.AIAI 评分4646 大语言模型任务组合的脆弱性：隐式思考预算研究
arXiv 论文发现，语言模型在单个提示词中组合多个任务时错误率显著上升，即使各任务单独都能可靠解决。研究指出其根源是“隐式思考预算”：组合时模型每任务使用的 token 少于单独执行，且远未耗尽上下文窗口，单独需要更长推理链的任务在组合下更脆弱，涵盖开源模型与 Claude Opus 5。按任务脆弱性分组可操纵隐式预算，在数学与语言任务上减少 43% token 用量并保持准确率。
arXiv cs.AIAI 评分2727 面向自闭症谱系障碍教育的视觉任务建模与人形机器人自动规划
研究者提出一种让摄像头机器人半自主完成 Shoebox Tasks 的方法：用视觉大语言模型将任务照片转换为 PDDL 表示并生成动作规划。系统在 Nao 机器人上实现了自主执行、提示下一步或以动作演示、语音和手势指出失败，无需教师编程，仅以拍摄的图像为输入，求解器可集成到多种教育机器人中。
arXiv cs.AIAI 评分5555 arXiv 论文用计算复杂度分离解释脚手架为何难以通过训练内化
研究者提出脚手架（inference-time harness）带来的能力提升能否通过蒸馏进入学生模型权重的问题，实验发现即使简单脚手架配小模型也显著优于蒸馏学生。
arXiv cs.AIAI 评分3535 VeilNN：应对跨设备的边缘神经网络模型暴露安全威胁
一篇 arXiv 论文指出，部署在移动和 IoT 边缘设备上的神经网络模型可能被解包暴露，攻击者在单台受感染设备上生成的对抗样本可迁移攻击共享同一模型的其他节点。
arXiv cs.AIAI 评分3636 ICLHerd：以 In-Context Learning 为代理的大语言模型数据选择方法
ICLHerd 是一个针对大语言模型训练的数据选择框架，针对传统余弦相似度方法导致选定数据过度聚集在开发集样本附近的模式寻求偏差，利用 von Mises-Fisher 核在模式寻求与模式平均之间取得平衡。该方法还引入 in-context learning 作为验证代理，以高效搜索平衡超参数。结果显示 ICLHerd 优于现有 LLM 数据选择算法。
arXiv cs.AIAI 评分2929 自监督表示学习：用短期运动轨迹揭示动物身份与学习进度
研究人员提出一个自监督表示学习框架，以时间邻近性作为监督信号，从自由活动大鼠的运动轨迹中直接学习紧凑表示，无需人工定义行为状态或运动学特征。结果显示，短至一秒的轨迹就包含可预测身份和学习进度的信号：自我中心的姿态动态更能预测身份，而以环境为参照的运动更能预测学习相关变化，且两种信号在交替任务的决策节点处最强。团队还用表示条件扩散模型检视相关运动模式，代码已开源。
arXiv cs.AIAI 评分2424 通过预测实现本体态恢复：arXiv 论文探讨状态与预测的关系
Ping Zhang 在 arXiv 论文（arXiv:2610.27139）中提出模型相对的状态定义：状态是系统在指定查询全集上的完整响应分布，对同一查询集响应一致的状态视为相同。论文区分预测（关注选定观测）与恢复（关注整体响应分布），并通过查询歧义、状态空间几何和预测目标选择考察二者关系，实验采用响应律已知的合成系统与神经记录数据，旨在阐明预测如何成为认识系统的方式。