All published intelligence, sovereign stack research, ecosystem news, and AI foundation model reviews.
arXiv:2610.29046v1 Announce Type: new Abstract: Large language models (LLMs) have shown considerable promise in synthesizing formal specifications from source code. However, existing approaches primarily focus on functional contracts and loop invariants, while largely neglecting…
arXiv:2610.28912v1 Announce Type: new Abstract: This paper charts the evolution of the Prolog textbook Simply Logical -- Intelligent Reasoning by Example from print with runnable programmes on a 3.5-inch diskette published in 1994, via various intermediate online versions, to…
arXiv:2610.29014v1 Announce Type: new Abstract: Coding agents are rapidly advancing from single-file generation to long-horizon repository-scale engineering, yet the evaluation of their capabilities to author interactive extended reality (XR) applications remains an open…
arXiv:2610.28982v1 Announce Type: new Abstract: While large language models are increasingly deployed as tool-calling agents, their safety evaluations still focus primarily on their ability to refuse harmful requests in text. We investigate whether the refusal behavior in text…
arXiv:2610.28989v1 Announce Type: new Abstract: Customized agent deployments define policies over tools, resources, and execution conditions. Providing these policies in the task agent's prompt does not reliably prevent violations. Training a guard requires examples of tool…
arXiv:2610.28891v1 Announce Type: new Abstract: Many social evaluations for multiagent systems study behaviors as they emerge from environments instead of systematically intervening in the environment to elicit such behaviors. We introduce Fig (Finding Interactions in Games), an…
arXiv:2610.29023v1 Announce Type: new Abstract: Large language model (LLM) agents are often improved by iterating until a fixed verifier is done. Once that verifier saturates, the loop has nothing left to climb. We instead score agents against the current population, and a…
arXiv:2610.28945v1 Announce Type: new Abstract: Large language model (LLM) agents are increasingly expected to interact with environments and improve their decisions during deployment. However, how anticipating future outcomes and drawing on accumulated interaction experience…
arXiv:2610.28686v1 Announce Type: new Abstract: Query clarification is essential for retrieval-augmented generation (RAG) systems that face ambiguous user queries. We consider multi-turn grounded conversational scenarios where a user query is either ill-formed or ambiguous in…
arXiv:2610.28815v1 Announce Type: new Abstract: Agentic harness evolution optimizes an agent's instructions, tools, and control flow by using its task execution experiences as evolving evidence. While more evolution tasks should intuitively improve performance, our preliminary…
arXiv:2610.29010v1 Announce Type: new Abstract: Radiation treatment planning requires balancing competing objectives to satisfy clinical criteria while accommodating physicians' preferences. This study aims to develop an evidence-driven, multi-agent compound AI system that…
arXiv:2610.28706v1 Announce Type: new Abstract: LLM-driven evolutionary search is a promising paradigm for scientific discovery, but existing methods remain costly and slow, often applying expensive reasoning uniformly while underusing evidence from failed, redundant, and…
arXiv:2610.28698v1 Announce Type: new Abstract: Scaling data, diversity and model capacity has improved embodied learning in physical environments, where diverse experiences remain grounded in shared physical laws. Whether these gains extend to virtual worlds with different…
arXiv:2610.29057v1 Announce Type: new Abstract: Users increasingly rely on large language models (LLMs) to analyse collections of independent inputs, such as product reviews or social media posts, and return a single aggregated answer. This setting requires multi-instance…
arXiv:2610.28836v1 Announce Type: new Abstract: This study proposes a sketch-to-simulation system to solve handwritten circuit diagrams. The system converts raw images into a Simulation Program with Integrated Circuit Emphasis (SPICE)-compatible netlist and automatically…
arXiv:2610.26942v1 发布类型：新 摘要：自动定理证明器通常依赖语言模型采样，但像 Lean 这样的证明助手会用精确的错误信息拒绝每个失败步骤——纯采样会丢弃这些信息。为克服此问题，我们引入了……
arXiv:2610.26948v1 公告类型: 新 摘要: 对话推荐系统最近采用视觉-语言模型将用户对话意图与多模态产品信息匹配。然而，将这些方法扩展到许多产品领域面临两难: 部署…
arXiv:2610.26924v1 通告类型: 新 摘要: 通用智能体越来越被期望执行专业分析工作，这需要持续推理、迭代调查和可靠证据。训练这些能力需要多样化的...
arXiv:2610.26964v1 公告类型：新 摘要：大型语言模型 (LLM) 与经典规划作斗争，但基准测试很少区分结构难度和解释符号词汇的难度。我们使用 BFS 最优计划检查七个 STRIPS 域……
arXiv:2610.26913v1 通告类型：新 摘要：大语言模型在放射学报告结构化中的应用主要由专有云端模型或需要高端GPU部署的大型开源模型主导，这是一个关键瓶颈……
arXiv:2610.26904v1 发布类型: new 摘要: 近期研究提出了带可验证奖励的强化学习(RLVR)方法,使LLM能从自然语言规范生成高质量RTL电路。现有方法优化电路PPA…
arXiv:2610.26995v1 公告类型：新 摘要：基于 LLM 的代理越来越依赖可重用的技能。然而，扩展技能库使得高效、准确的技能使用变得困难。完整技能加载会产生高令牌和运行时开销。相比之下，扁平语义……
arXiv:2610.27027v1 通告类型：新 摘要：多智能体LLM系统提高了临床任务的性能，这种改进常被视为系统更可靠的证据。然而，这两者并非同一主张。临床医生基于陈述的推理而非…
arXiv:2610.27045v1 发布类型：新增 摘要：近年来，物理人工智能（physical AI）快速发展，引起学术界和工业界的高度关注。然而，该领域尚未就其定义、技术……达成共识。
arXiv:2610.26943v1 公告类型：new 摘要：数学推理是大语言模型（LLM）在教育应用中的基本能力，可靠的问题求解不仅需要正确的答案，还需要连贯且可验证的推理过程。…
arXiv:2610.27220v1 公告类型：new 摘要：近期工作探索了在思维链推理过程中用连续表示代替离散token，通常称为软CoT。这源于这样一个想法：token嵌入的混合可以表示...
arXiv:2610.27099v1 通告类型: 新 摘要: 临床护理、卫生系统运营和生物医学发现依赖于从患者记录中提取可靠答案，但将多样化的临床问题应用于整个人群在计算上仍然昂贵。此处…
arXiv:2610.27046v1 通告类型: new 摘要: 随着AI系统开始解决开放研究问题，可靠验证变得越来越重要。形式化数学为数学推理提供了可信框架，使代理能够生成机器可验证的…
arXiv:2610.26941v1 发布类型：new 摘要：大语言模型（LLM）使智能体能够超越预定义工作流，走向自主规划和执行，为智能制造创造新机遇。然而，动态环境、复杂物理…
arXiv:2610.27115v1 公告类型：新 摘要：LLM 代理通过工具和第三方技能作用于外部世界，因此单个执行的操作可能会造成不可逆转的伤害。现有的防御措施判断拟议的行动，而不跟踪其内容是否来自用户......