💻 computer science

Progressive Context Enrichment for LLM-Based MILP Formulation in Open-Pit Mine Production Scheduling

本文提出了一种渐进式上下文增强框架,通过系统地利用模拟器数据和代码注释来增强提示词,从而提高大语言模型在生成露天矿山生产调度混合整数线性规划模型时的可靠性,研究表明,虽然模拟器代码能提高目标函数准确性,但带注释的代码在确保约束可行性方面表现更为优异。

Mustavi Ibne Masum, Thiago Eustaquio Alves de Oliveira, Mahzabeen Emu2026-07-23
💻 computer science

Validated cross-source synthesis of structural links in a compiled medical knowledge base: an independent literature check with a discrimination control

本文报告了一个经过独立验证的演示,证明了一种专有引擎能够通过从外部文献中提取出九个经证实的连接,并利用判别控制证明其选择性,从而正确地跨多个来源合成结构化医学关联,为未来无需幻觉的计算发现奠定了可靠基础。

Youssef Ghaly2026-07-23
💻 computer science

Gradient Alignment Dynamics in Mixture-of Experts: The Gaussian Attractor, Laminar Flow Regime, and Output-Space Isolation

本文为混合专家模型(MoE)建立了一个统一的理论框架,该框架将跨专家梯度对齐识别为专家崩溃的根本原因,引入了梯度路径假设和雷诺数诊断来表征这些动态过程,并证明了通过 Mosaic Tile 硬路由实现的架构输出空间隔离能有效消除视觉和语言任务中的灾难性遗忘与专家崩溃。

庆君 张2026-07-23
📄 other

Humans Disengage, Reasoning Models Persist: An Item-Controlled Dissociation in Deliberation Allocation

本文揭示了人类与大型推理模型(LRMs)在决策分配上的一个关键脱节:尽管两者总体上都会在更难的问题上花费更多时间,但人类在最终出错的项目上投入的时间较少(放弃困难任务),而 LRMs 则矛盾地在失败的问题上生成更长的推理轨迹(在不确定性中持续),这凸显了尽管表面相似,但在停止与控制策略方面存在根本性的差异。

Han-yu Wang2026-07-23