全部动态

本页 40 条
今天 10月14日 周三
arXiv cs.AI82

通过带任务完整性约束的人设演化揭示 LLM 智能体的鲁棒性弱点

交互式智能体评估通常依赖标准化的、基于 LLM 的用户模拟器,这些模拟器表现出广泛的合作行为,可能忽视多样但现实的用户交互所引发的失败。这会导致对智能体鲁棒性的估计过于乐观,也难以为训练能够跨用户泛化的智能体提供足够的失败信号。现有方法大多依赖预定义的用户行为,可能无法发现特定于智能体或领域的弱点;而面向失败的搜索则可能通过使底层任务失效来降低任务成功率,而不是暴露真正的鲁棒性缺陷。为弥补这一空缺,我们提出 TIPER,一种保持任务完整性的人设演化方法,能够在保持底层任务有效且可解决的同时,自动发现暴露智能体特定鲁棒性弱点的用户策略。TIPER 在任务完整性约束下,通过反思引导的行为变异和按任务进行的 Pareto 选择,演化出持久的用户人设。在四个交互式智能体基准测试中,TIPER 在全部 12 个 GPT-5.4 设置下都取得了更低的留出集 avg@3 分数,观测到的降幅为 5.8 至 33.7 个百分点;在涵盖七个智能体的全部 28 个智能体—领域组合中也同样如此,观测到的降幅中位数为 22.9 个百分点。进一步分析得出了一套从行为到失败的分类体系,将发现的用户行为与反复出现的智能体失败模式联系起来。总体而言,这些结果表明,TIPER 能够对交互式智能体开展更具诊断性的鲁棒性评估,并为未来改进智能体鲁棒性提供有价值的失败分析。代码仓库:https://github.com/UCSB-NLP-Chang/TIPER。

arXiv cs.AI71

Fisher information and the geometry of memorization in neural networks

A fruitful approach towards understanding generalization in machine learning involves characterizing how models separate generalizable structure from idiosyncratic or even corrupted features of training data. Fisher information has emerged as a diagnostic tool for this separation, leveraging loss geometry to distinguish generalization from memorization. Here we investigate this connection in vision models trained on CIFAR-10 with controlled noise that can be learned only through memorization. We show that projecting model weights onto the top Fisher eigenvectors decouples general task performance from noisy sample memorization, and we investigate how this decoupling presents differentially across layers. We show that the same phenomena are present in small transformers trained to solve a synthetic in-context learning task, and are reproduced in closed form in a simple, analytically solvable linear model. Our results reveal that Fisher information captures aspects of the geometric structure underlying how neural networks allocate capacity between generalization and memorization.

arXiv cs.AI78

移动固体交互下的交互式四维体积液体预测

我们提出了交互式四维体积液体预测任务:根据固体物体在液体中的运动方式,预测未来稠密三维液体速度场的时空演化。该任务为需要推理运动条件下液体响应的系统提供了上游物理预测基础,包括机器人液体操控、数字孪生和刚体-流体视频生成。现有研究已尝试预测静态或预设固体几何体周围的流动,并合成视觉上合理的流体运动。然而,这些方法对交互式液体动力学的覆盖有限,因为它们无法预测运动固体如何引发未来全域液体响应。在这一预测场景中,流体动力学效应集中在不断演化的液-固界面附近,但预测目标却是全局时空演化过程。为应对这一挑战,我们提出了一个两级循环预测框架 TIDE/TIDES:TIDE 专注于局部界面驱动的预测,而 TIDES 增加了感知输运的耦合和显式稳定化,以减少累积的演化误差。在经过适配的邻近基线、受控组件消融、运动/尺寸分布外测试以及长时域评估中,TIDES 均取得了最佳预测性能;消融实验表明,局部交互、输运耦合和稳定化是关键贡献因素。总体而言,我们提出的任务定义、基准以及 TIDE/TIDES 研究,为运动固体条件下的稠密液体预测建立了一个受控基础。代码已公开于 https://github.com/jongwonryu/TIDE-TIDES。

arXiv cs.AI80

ProCARE:基于数据概况的证据契约实现真实世界研究自动化

真实世界研究(RWS)分析常规收集的医疗保健数据(如电子健康记录和保险理赔数据),以估计治疗效果、监测安全性,并识别随机试验之外的风险因素。利用大型语言模型智能体自动化 RWS 具有吸引力,但也较为脆弱:有效分析依赖于特定数据集的临床语义,包括索引日期、随访窗口、患者级或事件级分析单位,以及观察性数据中通常未明确规定的结局边界。这会导致模式不匹配、时间错误、分析粒度不一致以及缺乏依据的临床结论。我们提出 ProCARE,一个以数据概况为基础的框架,将 RWS 自动化重新表述为受约束的编译过程。ProCARE 将异构数据概况转换为证据契约,其中明确规定可用变量、时间属性、分布特征和证据边界,并将研究目标编译为 RWS-IR——一种针对变量、时间关系、分析单位和统计任务的强类型中间表示。随后,通过确定性验证和局部修复,对生成的工作流进行检查和修订,覆盖模式映射、队列构建、变量推导、分析和结果解释。在 36 项基于 EHR 的基准任务中,ProCARE 在代码可执行性、语义一致性和结论可追溯性方面均优于强大的大型语言模型智能体基线;自动化违规诊断结果与盲法专家评审显示出中等至较高的一致性。

arXiv cs.AI73

Correct Choices, Failed Sequences: Choice2Seq Benchmarks Correctness Retention Across Output Interfaces

A model may select the correct answer yet fail to construct it through a sequence of local decisions. We introduce Choice2Seq, a diagnostic benchmark that measures correctness retention across complete-answer selection and sequential construction in independent runs on the same problems and candidate sets. Sequence Composition Rate (SCR) measures the fraction of correctly selected items that are also answered correctly through local construction. Jev achieves 97.1% and 99.5% selection accuracy on arithmetic and lexical retrieval, yet retains only 33.0% and 2.1% of those correct choices under serial construction, respectively. Substantial gaps also emerge for StartLux and Qwen, including when Qwen emits characters directly. Restricting local options to candidate-supported characters improves construction, while explicit position indexing improves copying fidelity, even for incorrect selections. These interventions distinguish task correctness, plan fidelity, and output compliance. Matched dialogue-state evaluations reveal that local field construction largely preserves Jev's correct states but reduces Qwen's mean-turn accuracy, highlighting task- and interface-dependent differences. Sequence-level confidence and request-cost analyses further characterize completed outputs.

arXiv cs.AI68

MP-MNCA: Morphology-Prior Masked Neighbor Cross-Attention for Efficient Spatial Domain Identification

Spatial transcriptomics jointly captures molecular state, tissue morphology, and spatial organization, yet spatial-domain methods are typically compared only at late training checkpoints, obscuring differences in convergence efficiency. We introduce MP-MNCA, a morphology-prior masked neighbor cross-attention framework that preserves the full 3,000 dimensional highly-variable-gene representation while selectively routing molecular information across spatial neighbors, with histological similarity incorporated as a continuous attention prior under a self-supervised masked neighbor-contrastive objective. Across 12 heterogeneous human dorsolateral prefrontal cortex (DLPFC) sections, MP-MNCA is evaluated against established spatial-domain baselines using both convergence trajectories and epoch-wise spatial-domain visualizations. Our results show that MP-MNCA (i) reaches coherent spatial-domain structure in substantially fewer training epochs, as reflected quantitatively by convergence curves and qualitatively by progressive spatial grids, and (ii) maintains strong clustering quality, achieving a mean peak refined ARI of 0.546 versus 0.549 for the strongest baseline (STAIG), while attaining the highest mean refined NMI of 0.657 versus 0.640. Moreover, MP-MNCA outperforms STAIG on 7 of 12 sections in ARI and 11 of 12 in NMI, demonstrating faster convergence without sacrificing spatial-domain quality.

arXiv cs.AI73

OneShot: Label-Efficient Detector Weighting for Time Series Anomaly Detection

Time series (TS) anomaly detection (AD) lacks a universal detector, with the best choice determined by the series rather than by the algorithm. Existing methods therefore either select one detector for each series or average a pool of them. However, both assume that no label ever arrives, while a deployed monitor does receive them, since an operator confirms the alarms it raises. In this paper, we propose ONESHOT, which uses a single confirmed anomaly to weight the pool rather than to choose one detector from it. Specifically, we score each detector on the confirmed anomaly, and those scores become the weights of a soft mixture over the whole pool. We show that a single confirmed anomaly is enough to come close to the best detector for the series. Across 152 univariate and 73 multivariate series, ONESHOT outperforms the strongest single detector, averaging the whole pool, and even picking the best detector on the confirmed event. Code is available at: https://github.com/seunghan96/one_shot.

arXiv cs.AI75

Learning to GUIDE the Group: Self-Learning LLM Facilitation Across Multi-Party Tasks

As large language models are increasingly adopted as multi-party communication facilitators, there is a growing demand for agents capable of balancing diverse group dynamics across contexts. However, existing LLM facilitators are often fine-tuned for task-specific objectives; generalized LLM-based facilitation methods that can adapt to different types of tasks and diverse group dynamics are underdeveloped. To address this gap, we present GUIDE (Generalized Unified Intervention for Dynamic Exchanges, a framework for developing generalized LLM-based facilitators across different multi-party contexts. GUIDE evaluates facilitation across both objective task outcomes and subjective metrics, including psychological safety and perceived friction. Within this framework, we study whether LLMs can self-learn generalized facilitation strategy offline to real-time interventions. We first collect multi-party human interactions guided by task-specific expert LLM facilitators (N=432 conversations). We then employ a self-learning method in which an LLM induces an actionable strategic playbook from conversations and iteratively refines it using feedback from an LLM judge aligned with human annotators (N=20), developing a single generalized facilitator that outperforms the three task-specific expert facilitators on held-out conversations 61.4% win rate. Finally, we evaluate these improvements empirically; in a real-time online empirical study, the self-learned generalized facilitator preserves facilitator performance and group productivity, improves speaking comfort and reduces interpersonal friction, while using 24.7% fewer turns and 29.0% fewer words than the expert prompts. These findings provide empirical evidence that LLMs can learn generalizable, task-agnostic social facilitation from task-specific human interactions, on-par with hand-crafted task-specific prompts across diverse group settings.

arXiv cs.AI73

用于离线对比式目标条件强化学习的反事实展开

对比式强化学习(CRL)通过将状态--动作对与随后到达的状态建立关联来学习目标条件价值,其前提是不存在任何未观测变量同时影响记录的动作及其结果。当离线示范来自一个掌握了学习者无法获取的信息的示范者时,这一前提便不再成立,评论家会吸收虚假的动作--结果关联。我们利用混杂马尔可夫决策过程对这一情形进行形式化,并引入反事实转移,以区分数据能够识别的内容与无法识别的内容;在所有相容转移中进行最小化,可得到一个对真实占用率构成下界的最坏情况占用率。因果对比式强化学习(CauCRL)从正向和负向离线示范中学习一种悲观的反事实转移,并在反事实展开上训练评论家;在存在混杂的目标到达任务中,其成功率显著高于标准 CRL。

arXiv cs.AI79

MCPDisCo: Seesaw-Mitigated Tuning for MCP-Native Agents

The Model Context Protocol provides a shared interaction substrate for the agentic web, allowing heterogeneous services to expose capabilities through a standardized interface. Learning to use this ecosystem entails a hierarchy of capabilities: tool-format skills, server-level transfer, and cross-server composition. We present MCPDisCo, an ecosystem-scale reinforcement learning framework for MCP-native agents. Using a Thought-Markov Decision Process (Thought-MDP), the framework explicitly represents internal reasoning alongside routing, execution, and termination and trains on real-server, long-horizon interactions spanning 70 MCP servers and 527 tools across six domains. We study the reasoning--tool seesaw, a joint-learning failure mode in which improvement in one objective can accompany deterioration in the other. To mitigate potential interference, MCPDisCo combines token-masked reward attribution with bidirectional gradient surgery: the former separates direct supervision for reasoning and action spans, while the latter removes conflicting components from both objective gradients in shared parameters. MCPDisCo achieves higher success with fewer chain-of-thought tokens. On the out-of-distribution MCP-Atlas and the GAIA benchmark, MCPDisCo maintains monotone gains, confirming that the learned behavior generalizes beyond the training server distribution and broader agentic tasks. Model weight and implementation are available.

arXiv cs.AI82

What Survives When Activation Steering Is Used as Memory

Activation steering has recently been used as a memory for skills: past experiences of an agent are stored as steering vectors and retrieved later. Facts and preferences about the user are assumed to need text instead. We test that assumption with a training-free activation memory beside a frozen LLM. The change an experience causes in late-layer states is stored as a shift, filed under a whitened key for the conversation's gist, and added back in a later session only when the gist matches. We argue that such a shift is a fixed average of an effect that attention, in context, recomputes for every question, so only question-independent content can survive. In a pre-registered study on Qwen3.5-2B and 9B, with judges from four model families, the memory is selective (about 98% of unrelated replies are unchanged), but facts are stored as the word to say, in the last layers only, and are almost never used (at most 15% clean use, against 96-98% in context). Leanings transfer only in a narrow strength window. Most strikingly, the reference subtracted when writing a preference decides whether its concept or its direction survives: unless the opposite is subtracted, a stored dislike is recalled as a like.

arXiv cs.AI80

Humans vs. Machines: A Comparison With AI Agents in Software Reverse Engineering

Can an autonomous AI agent reverse engineer a binary as well as a skilled human analyst? Do they adopt the same strategy, and can agents scale to real-world programs? We compare human and LLM-based software reverse engineering (SRE): nine models tackle two compact static-analysis challenges previously solved by human analysts, scored with a common understanding rubric, and we record their complete interactions with IDA Pro. This lets us compare not only what humans and agents recover, but also how they investigate a binary. The best agents (GPT-5.5 Pro, Claude Opus 4.8, and Kimi K3) achieve statistically human-competitive understanding on both tasks, while weaker models remain far behind. Ablations show that the gap depends on code representation and workflow demands, not on model capability alone: open-weight models improve substantially with richer code representations, whereas frontier models show no significant change. Similar success rates hide different workflows. Humans repeatedly revisit functions and follow local program structure; strong agents jump across the binary, retrieve information broadly, and rarely return to inspected code, a behavior we call greedy fetching. This strategy is not fixed: given semantically richer code, agents fetch less without losing understanding. Because greedy fetching aggregates large amounts of code in the agent's context, we measure context-window saturation across 4,000 real-world binaries: large windows accommodate many programs, but larger applications and lower-level representations quickly exhaust them. Autonomous reverse engineering is becoming competitive, with a large speed advantage, but scaling it will require better navigation, selective retrieval, and persistent analysis state, not merely larger context windows.

arXiv cs.AI81

SkillHorizon:通过技能组合构建长时域智能体任务

长时域智能体必须完成一系列工作流,其中后续活动依赖于前序输出以及共享状态的变化。评估面临的一项关键挑战,是在确保任务可执行且结果可验证的同时,扩展任务要求及其依赖关系。我们提出了 SkillHorizon,这是一个通过技能组合在七种商业环境中构建长时域任务的基准。其生成器利用特定领域规则,将可复用的技能流程转化为具体的商业活动。这些活动通过输入—输出依赖、共享资源和状态更新相互连接,使工作负载与协调需求同步增长。成功的参考执行结果用于验证任务可行性并衡量交互工作负载,而程序化评估器则评估局部完成情况和整体任务成功率。我们在 1,050 个任务上评估了五个语言模型,参考交互工作负载范围从 64K 到 1M 个词元。在这些规模下,平均局部目标完成率从 90.4% 降至 46.8%,因为已完成的工作未能跟上不断增长的要求。在更大的工作负载下,智能体更常提交未成功的最终答案,同时仍有大量工作未完成且保留着工具调用额度。轨迹分析还发现了一些案例:脚本能够成功执行,但其输出未能通过后续的商业检查。SkillHorizon 提供了一个可配置的测试平台,用于研究不断增长的工作流中的持续进展、依赖协调和完整任务交付。我们的代码已发布于 https://github.com/KnowComp/SkillHorizon。

arXiv cs.AI65

Single-Sample Decoding of a Two-Layer Sound-Word Canvas Model for Thai Klon Pad

We present a generator of Thai klon pad verse, one stanza from a short topic, and evaluate it against human verse on held-out topics. The generator is a masked language model initialised from WangchanBERTa over a fixed canvas with two layers: a sound layer of pronounced syllables, where rhyme, tone and syllable count are enforced as hard masks, and a word layer of whole words, so that no word is cut into written pieces. Decoding commits one cell at a time and samples at temperature 0.4; one sample is drawn per topic, with no selection, reranking or repair. On 78 held-out topics never used in development, judged by three independent runs of a frozen LLM judge in the same pools as the human stanzas from which the topics were written, 70.5% of the generated stanzas pass form, lexical cleanness of all four lines and topic alignment together, against 76.9% for the human stanzas (difference -6.4 points, 95% CI [-19.2, +6.4]). Cleanness is level with human (85.9% vs. 87.2%), and the stanzas pass form and cleanness together slightly more often than the human ones (+3.8 points, [-6.4, +14.1]); the difference lies in alignment (84.6% vs. 91.0%), on topics that were written from the human stanzas. The low temperature matters: at higher temperatures the same model passes clearly fewer of the same topics, because lexical errors lie in the model's lower-probability choices; sharpening the sampling distribution removes most of them, at a cost in vocabulary (7.5% rare words against 16.5% in the human stanzas) and diversity. The pre-registered target, all-three within 5 points of human, is missed by 1.4 points. KlonSuphap-LM, the only public klon pad generator we know of, passes none of the 78 held-out topics when judged in separate pools together with the method's and the human stanzas (form 19.2%, cleanness 3.8%).

arXiv cs.AI82

Too Late to Prune: Generative AI, the Screen, and Team Creative Decisions

Generative AI makes options cheap and shifts the bottleneck of creative work from generating options to screening them. We argue that AI's value depends on whether its options arrive before or after the team's screen. In our model, early options compete for a place in the portfolio; late options arrive after that competition and are kept unscreened. In a preregistered experiment, we randomly assigned 148 three-person teams to five schedules of access to the same language model during a product-design task with timed search and selection stages. Moving the same 15 minutes of access from search to selection lowered expert-rated creativity by 0.62 standard deviations, although teams used the model at similar rates. Platform logs locate the difference at the screen. Early access enlarged the pool of ideas fivefold, and teams pruned it. Late-access teams reached the screen with the same small pool as teams without AI and then searched again, devoting 29% of their selection-stage queries to generating new options, compared with 11% for teams with access throughout. Late access added breadth, not quality: these teams submitted 73% more proposals than did teams without AI. Language-model judges detected the benefit of access but not the cost of late timing.

arXiv cs.AI79

表格基础模型的循环式上下文学习

表格基础模型通过上下文学习(ICL)适应新数据集,并且和大多数 Transformer 一样,将计算深度与独立参数化层的数量绑定在一起。我们探讨这样一个问题:此类模型的 ICL 阶段是否需要每一层都有一组不同的参数,还是只需要增加深度。我们引入 Tab-Loop,以4个共享参数的模块重复执行 $k$ 次,替代 TabICLv2 中12个参数不共享的 ICL 模块,其他部分完全不变:编码器、解码器、合成先验和训练方案均与一个在相同计算量下训练的非共享参数基线保持一致。在预训练计算量相同(18.2 EFLOP)、推理计算量相同(应用模块12次)的条件下,Tab-Loop 的参数量减少62%,但性能与基线相当(10.4M 对 27.6M):留出集对数损失为0.4583 对 0.4588,在200个 TALENT 数据集上的平均准确率为84.10% 对 83.92%,在38个 TabArena 数据集上的 Elo 得分为1409 对 1396。一个参数量与 Tab-Loop 相同的4模块非共享参数对照模型,在相同计算量下接触到多32%的训练表格数据,但表现落后于二者(83.46%;Elo 得分1343)。由于权重共享,深度成为推理时可以选择的项。在训练覆盖的循环次数范围内,准确率会随着循环次数增加而提升,并在超出该范围后保持稳定;通过以更深的循环次数继续训练,可扩展有效范围,并在达到基线推理计算量4--5倍时,取得基线的阶段2得分。在这一规模下,表格基础模型的 ICL 阶段更需要深度,而不是更多彼此不同的参数。

arXiv cs.AI80

你能信任你的偏好模型吗?用于对齐的Stackelberg博弈

语言模型通常通过不完美的评估器根据人类偏好进行对齐,而这些评估器的错误可能在优化过程中被利用。我们训练策略来搜索这样的比较:在这些比较中,评估器可能会反转底层偏好,从而为进一步监督提供候选样本。由于策略训练期间无法获得人类偏好,我们使用偏好模型集成之间的分歧,作为预测误差的替代指标。我们将这一搜索过程表述为两个对立策略之间的零和Stackelberg博弈:Leader试图最小化分歧,而Follower则最大化分歧。对于一类一般的有限上下文Stackelberg博弈,我们证明了均衡的存在性,并证明在正则化条件下均衡具有唯一性和闭式刻画。我们提出Stackelberg Mirror Descent-Ascent(SMIDA),这是一种双时间尺度算法,在表格化设置下具有线性的末次迭代收敛速度;同时,我们还开发了相应的神经策略梯度版本。使用合成oracle进行的实验表明,分歧可以作为预测误差的有效替代指标。在留出数据上,训练得到的策略优于参考策略,并提高了超过分歧阈值且反转oracle偏好的比较所占比例。

arXiv cs.AI76

迈向 System One 临床智能:决策基础模型的参数高效微调与反事实可解释性

基于患者自述症状的自动疾病分类,需要在轻量级判别模型的速度与自回归大语言模型(LLM)的上下文理解能力及延迟成本之间取得平衡。决策基础模型提供了另一种选择:无需生成自由文本,而是将表示直接映射到候选类别。我们将基于 Qwen3.5 骨干网络构建的 90 亿参数决策模型 Clef-Flash,针对 Symptom2Disease 基准中的 24 类疾病分类任务进行适配。采用结合差分学习率的 4 位量化低秩适配(QLoRA),并将数据分层划分为 960 个训练样本和 240 个测试样本后,该模型取得了 95.42% 的诊断准确率和 0.9551 的宏平均 F1 分数。这一结果优于已报告的零样本基线:远程 API 为 61.67%,本地未适配初始化模型为 65.00%;同时也超过了 ClinicalBERT 基线(90.90%)。通过单次前向传播评估候选类别的 logits,无需进行自回归解码,模型在单块 GPU 上对每条记录的推理耗时低于 80 毫秒,据报告,相较生成式 LLM 基线实现了 31 倍加速。为考察症状层面的证据,我们提出了留一症状法(Leave-One-Symptom-Out,LOSO)反事实扰动框架。在一个银屑病示例中,移除定义疾病的症状描述后,预测类别的置信度从 100.00% 降至 0.12%,并将预测结果转为脓疱病,置信度为 99.59%;而移除次要的全身性症状时,置信度变化小于 0.01%。这些发现表明,基于决策的架构能够将大型基础模型的语言能力与低延迟推理及症状层面的可解释性相结合,从而服务于临床分诊。

arXiv cs.AI58

Deep Learning-based Semantic Segmentation of Dental Radiographs: Comparative Evaluation of PSPNet, DeepLabv3, UNet, and UNet++

Accurate and efficient analysis of dental radiographs has become increasingly important for disease diagnosis and clinical decision making. In particular, dental radiographs segmentation plays a critical role as it is challenging due to several reasons, such as low contrast, noise in the images, variations in the image quality, etc. Previous studies have primarily addressed these challenges using convolutional neural networks (CNN)-based models. However, direct comparison of these segmentation models is still challenging due to the variations among the experimental settings. Therefore, we mainly compared four segmentation models, including Pyramid Scene Parsing Network (PSPNet), DeepLabV3, UNet, and UNet++, through a fair, controlled experimentation setting under varying conditions such as image sizes and batch sizes. For this, we used 1269 dental radiography images, and prior to training, we implemented a series of preprocessing techniques. To assess the models, we used several metrics, including Dice coefficient (DICE), Intersection over Union (IoU), accuracy, precision, training and validation losses. According to our results, UNet++ demonstrated the highest IoU score of 0.6719, and a DICE value of 0.7869, showing superior results in terms of segmentation, specifically when configured with an image size of 300x300 and a batch size of 16. In addition, we also explored the effect of image resolutions and batch sizes on model performance and accuracy under different architectures. Therefore, this study provides insights into the strengths of different segmentation models and the potential of deep learning-based semantic segmentation methods for improving automated dental radiograph analysis.

arXiv cs.AI79

通过 5G 用户面将 AI 推理作为电信网络 API 暴露

支持边缘人工智能(AI)推理作为网络服务颇具挑战,因为当前移动系统能够传输张量,却无法暴露或理解赋予这些张量实际运行意义的推理上下文。已有研究通过动态分区、协同推理和分割流水线来弥合这一差距;然而,这些方案仍然受应用约束、对网络无感知或缺乏上下文。本文提出 Inference on Demand(IoD),这是一种按需推理抽象,通过类似 CAMARA 的应用程序接口(API)暴露分割推理,并在 5G 用户面路径中以带内方式传输感知分割的张量上下文。我们在基于可编程用户面功能(UPF)的测试平台上,使用可分区的视觉 AI 工作负载对 IoD 进行了评估,结果表明,自适应分割选择可以作为面向网络的服务运行,同时避免静态配置僵化的成本特征。结合我们的研究结果,当服务意图、运行时分区和张量传输对移动数据平面可见时,分割推理便不再只是卸载。这为网络原生 AI 服务开辟了道路,使可编程电信基础设施能够为面向用户的应用协调计算、上下文和连接。

arXiv cs.AI70

Knowledge transfer between simple discrete worlds

Adapting to a new world and reasoning correctly about which outcomes are possible under rules one has not met before is a basic capacity underlying general intelligence. We study it in small discrete worlds: sets of grid configurations consistent with a shared set of rules, concretely Sudoku-like puzzles built from a common base and a handful of extra rules. We train a single depth-recurrent model on many combinations of rules and test it at four levels of novelty: a new puzzle, a new combination of known rules, a pairing of rules never seen together, and a rule instance not seen at all during training. The model receives the active rules either as a symbolic description or as two solved examples, and a model that gets no rule information is used as a baseline. At recombining rules it was trained on, the description matches or exceeds examples ($99\%$ against $95\%$ on new combinations). On rule instances whose components never co-occurred in training, the description falls below the no-information baseline while examples stay above it. The framework allows us to test many such generalization regimes in more systematic way than benchmarks such as ARC-AGI and provides new ground for evaluating depth-recurrent reasoning models, which are typically tested on saturated Sudoku benchmarks.

arXiv cs.AI74

通过边际奖励实现自我演化的视觉智能体

将推理与工具调用交织进行的视觉智能体,为多模态任务提供了一个颇具前景的方向。然而,有效工具调用的学习通常依赖大规模精心整理的问答对或专家示范,而获取这些数据的成本高昂。在本研究中,我们提出 Marvo,这是一种简单而有效的自我演化方法,能够从未标注图像中学习工具调用。Marvo 由两个智能体组成:(1)挑战者,从未标注图像中生成问答对;(2)求解器,通过强化学习解答问题,从而学习工具调用。为了促进有效的工具调用,优质的训练问题应当足够困难,能够促使求解器使用工具,同时又应处于求解器的能力范围内。为此,我们向挑战者引入边际奖励,其定义为求解器在有无工具访问权限时的性能差异。借助边际奖励,我们构建了一种自适应课程学习机制,鼓励求解器学习有效的工具调用。在涵盖智能体推理、视觉搜索、数学推理和通用现实世界推理的各项基准测试中,Marvo 将平均准确率最高提升了 7.1\%,证明了边际奖励是无需人工监督、扩展问题复杂度的更优方式。

arXiv cs.AI75

你被说服了吗?一种用于检测 ChangeMyView 讨论中说服力的神经符号论证推理方法

论证结构体现了单个论证如何在话语中相互作用。然而,利用这些结构推断有意义的知识仍然具有挑战性,因为这需要对论证影响如何在结构中传播进行形式化表示。我们提出 Neuro-symbolic Argumentation Reasoning System(NARS),用于直接从在线讨论中检测说服力。其神经组件采用检索增强的迭代式 LLM 推理来提取双极论证结构,而符号组件则应用渐进式论证语义,在结构中传播论证影响。我们使用 Webis-CMV-20 语料库,构建了 CMV2BAS 数据集。该数据集包含经过 LLM 推导的双极论证结构标注以及 delta 事件标签(观点改变或未改变)的长篇、多线程 ChangeMyView 讨论。我们研究了渐进式论证语义能否有效检测说服力、将其与论证质量和基于图的中心性相结合是否能够提升性能,以及在现代 LLM 已经具备相关能力的情况下,符号推理是否仍然必要。在最佳配置下,NARS 达到 F1=0.57 和 AUC=0.56,优于零样本 Qwen3.6:27B 和 GPT-oss:20B。我们发现,以支持为主导的讨论以及较长的论证链是限制攻击影响传播的主要失败模式。本研究展示了在嘈杂的真实世界话语上实施形式化渐进式论证语义、开展可扩展的宏观层面说服力分析的可行性,同时指出了神经符号论证推理未来研究面临的关键挑战和发展方向。我们公开发布 CMV2BAS 数据集和 NARS 框架,供公众使用。

arXiv cs.AI78

VLCQ: Post-training quantization for deep neural networks using variable length coding

Quantization plays a crucial role in efficiently deploying deep learning models on resource-constrained devices. Post-training quantization does not require access to the original dataset or retraining the full model. Current methods that achieve high performance close to baseline results typically require INT8 fixed-point integers. However, achieving higher model compression with lower bit-widths often leads to significant performance degradation. In this paper, we propose VLCQ, a post-training quantization method that relaxes the fixed-point encoding constraint, enabling more flexible exploration of quantization techniques through variable-length encoding. This approach achieves competitive or improved performance while reducing bit-widths, without requiring access to training data or model fine-tuning. Extensive experiments on image classification, segmentation, and object detection demonstrate that VLCQ improves model compression and accuracy compared with state-of-the-art post-training quantization approaches. For per-channel quantization, VLCQ surpasses FP32 accuracy and Piece-Wise Linear Quantization (PWLQ) on most evaluated models, achieving up to 6x compression compared with FP32 and up to 1.7x compared with PWLQ. When prioritizing compression with limited accuracy loss, VLCQ achieves up to 12.25x compression compared with FP32 with less than 4% performance degradation. For per-tensor quantization, VLCQ is competitive with Data-Free Quantization (DFQ), while providing greater flexibility to achieve lower bit rates across different tasks and models.

arXiv cs.AI78

Structural Chain-of-Thought: Reasoning with Executable Computational Graphs

Chain-of-thought prompting enables reasoning in large language models but produces explanations that are difficult to verify, expensive to generate, and not always faithful. We introduce a Structural Chain-of-Thought framework where models generate executable computational graphs instead of free-form reasoning. The final answer is obtained by deterministically executing the graph. The model is trained using graph-based reinforcement learning that rewards structural validity, answer correctness, and node overlap with reference graphs. Experiments across five benchmarks and four model families show that our method consistently improves accuracy over supervised graph training and can reduce generation length by up to 5-6x compared with standard GRPO and chain-of-thought supervised training. Our faithfulness experiments reveal that models trained with our approach tend to rely on deriving their answers from the generated graphs rather than producing post-hoc rationalizations as usually in chain-of-thought reasoning.

10月13日 周二
The Decoder70

Anthropic study warns that small AI models could soon replicate across everyday devices

Small AI models may be just months away from spreading on their own across poorly secured consumer devices like smart TVs and robot vacuums, according to a new Anthropic study. In tests, one model already completed the full infection chain. CEO Dario Amodei has warned that a swarm like this could take over the entire internet with a persistent botnet within 6 to 12 months, causing hundreds of billions of dollars in damage. The article Anthropic study warns that small AI models could soon replicate across everyday devices appeared first on The Decoder .

The Decoder69

Clearing chat history helps AI agents find better solutions

Microsoft researchers found that autonomous AI agents get trapped in what they call "idea basins" because of their growing chat context, local solution regions they can't escape. Their "Fork-and-Flush" method clears the chat history but keeps the workspace, achieving up to 66 percent better results on the same compute budget. The article Clearing chat history helps AI agents find better solutions appeared first on The Decoder .

10月12日 周一
The Decoder60

Google Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed

Google Deepmind's AlphaProof Nexus solved dozens of open math problems, including nine Erdős problems two of which were unsolved for 56 years, per a study in Science. The publication comes as OpenAI faces a boycott for dumping AI proofs on GitHub without peer review. Deepmind had its results reviewed before publishing. The article Google Deepmind's AlphaProof Nexus solved dozens of open math problems and actually got peer reviewed appeared first on The Decoder .

arXiv cs.AI71

用于专用神经网络模型自动调优的多智能体 LLM 系统

许多机器学习方法采用两层流程:先由专家选择一类方法,再在该类方法中选择关键组件,而后者至关重要且通常依赖人工。本文研究这些组件的自动调优,并提出一种可迁移至不同性质模型的框架。该多智能体大语言模型(LLM)框架包含分析员、编码员和记录员三种角色,并配备实验日志和沙箱执行环境。与优化整个机器学习脚本或在离散空间中搜索架构的系统不同,该框架在开放但语义范围受限的空间中运行:智能体仅为指定组件生成代码,保持网络整体结构不变。该方法在两个方向上得到验证:对采用相关性学习的分类脉冲神经网络进行调优,以及使用物理信息神经网络(PINN)求解高阶微分方程。在五项任务中,包括 MNIST 和 Digits 上的脉冲神经网络分类任务,以及广义非线性 Schrödinger 方程(GNLSE)和 Kuramoto–Sivashinsky(KS)方程的边值问题,该智能体均优于基线:分类准确率分别提高了 13 个百分点(MNIST)和 6 个百分点(Digits);相对于单孤子解析解的误差降至原来的约 1/2491;在选定的含高斯扰动的 GNLSE 实验中,不变量保持误差降至原来的约 1/325,在多次重复初始化实验中,平均误差降至原来的不足 1/100;对于含高斯扰动的 KS 问题,质量漂移降至原来的 1/14。因此,该框架无需改变其内部结构,即可针对不同性质的任务调优关键组件。