哈萨克斯坦人工智能与高科技领域的智能门户
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.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.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.28763v1 Announce Type: new Abstract: Frontier coding agents are increasingly framed as end-to-end automated researchers, and ML for science offers a demanding test of that promise: improving a scientific model often requires domain insight beyond routine ML…
arXiv:2610.28987v1 Announce Type: new Abstract: Persistent memory is a largely undefended surface for injection and poisoning, and the same risk limits memory sharing among agents. We present PerMIT, a memory architecture with provable integrity guarantees under an explicit…
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.28914v1 Announce Type: new Abstract: Frontier language-model agents excel at complex tasks, but high inference costs make transferring their capabilities to smaller models essential. Traditional knowledge distillation achieves this through parameter updates, requiring…
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.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.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.29036v1 Announce Type: new Abstract: Explaining a time-series model requires both locating the evidence and extracting meaningful knowledge from it. Yet a single timestep is not a semantic unit: the meaningful patterns live across many samples, not in any one of them.…
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.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.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.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.28855v1 Announce Type: new Abstract: Progress on foundation model pretraining is gated by who can afford a trial, and relational pretraining is no exception. Recipes are developed inside individual labs, reported under private protocols, and do not accumulate.…
arXiv:2610.28934v1 Announce Type: new Abstract: Coding agents now complete tasks autonomously, modifying real-world state such as artifacts, software environments, and configurations along the way. Yet they show limited backup awareness: recognizing that an action will modify…
arXiv:2610.28875v1 Announce Type: new Abstract: Large language models increasingly take part in extended conversations where they can both shape and be shaped by another party's views, yet most persuasion research measures only one side of that exchange. We introduce a…
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.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.26943v1 公告类型：new 摘要：数学推理是大语言模型（LLM）在教育应用中的基本能力，可靠的问题求解不仅需要正确的答案，还需要连贯且可验证的推理过程。…
arXiv:2610.26904v1 发布类型: new 摘要: 近期研究提出了带可验证奖励的强化学习(RLVR)方法,使LLM能从自然语言规范生成高质量RTL电路。现有方法优化电路PPA…
arXiv:2610.26913v1 通告类型：新 摘要：大语言模型在放射学报告结构化中的应用主要由专有云端模型或需要高端GPU部署的大型开源模型主导，这是一个关键瓶颈……
arXiv:2610.26941v1 发布类型：new 摘要：大语言模型（LLM）使智能体能够超越预定义工作流，走向自主规划和执行，为智能制造创造新机遇。然而，动态环境、复杂物理…
arXiv:2610.27045v1 发布类型：新增 摘要：近年来，物理人工智能（physical AI）快速发展，引起学术界和工业界的高度关注。然而，该领域尚未就其定义、技术……达成共识。
arXiv:2610.27159v1 通告类型: 新 摘要: 电动汽车(EV)公共充电给配电馈线增加了大量同步负载。在大多数网络中，同时过载馈线的情况很少见。一旦发生，后果可能很严重：一…
arXiv:2610.27203v1 发布类型: new 摘要: 类增量学习(CIL)使模型能够随时间识别新类别同时保留先验知识,但许多现实问题是组合式的,视觉概念源自基元组合,例如…
arXiv:2610.27220v1 公告类型：new 摘要：近期工作探索了在思维链推理过程中用连续表示代替离散token，通常称为软CoT。这源于这样一个想法：token嵌入的混合可以表示...
arXiv:2610.27115v1 公告类型：新 摘要：LLM 代理通过工具和第三方技能作用于外部世界，因此单个执行的操作可能会造成不可逆转的伤害。现有的防御措施判断拟议的行动，而不跟踪其内容是否来自用户......
arXiv:2610.27120v1 通告类型: 新 摘要: 多模态问答(MMQA)基于整合异构数据源、选择性利用相关模态并忽略干扰项。基于多模态大语言模型(MLLM)的现有方法…