基于大语言模型的多目标强化学习实现Pareto最优RTL代码生成
arXiv:2610.26904v1 发布类型: new 摘要: 近期研究提出了带可验证奖励的强化学习(RLVR)方法,使LLM能从自然语言规范生成高质量RTL电路。现有方法优化电路PPA…
All published intelligence, sovereign stack research, ecosystem news, and AI foundation model reviews.
arXiv:2610.26904v1 发布类型: new 摘要: 近期研究提出了带可验证奖励的强化学习(RLVR)方法,使LLM能从自然语言规范生成高质量RTL电路。现有方法优化电路PPA…
arXiv:2610.26913v1 通告类型:新 摘要:大语言模型在放射学报告结构化中的应用主要由专有云端模型或需要高端GPU部署的大型开源模型主导,这是一个关键瓶颈……
arXiv:2610.26924v1 通告类型: 新 摘要: 通用智能体越来越被期望执行专业分析工作,这需要持续推理、迭代调查和可靠证据。训练这些能力需要多样化的...
arXiv:2610.26942v1 发布类型:新 摘要:自动定理证明器通常依赖语言模型采样,但像 Lean 这样的证明助手会用精确的错误信息拒绝每个失败步骤——纯采样会丢弃这些信息。为克服此问题,我们引入了……
arXiv:2610.26964v1 公告类型:新 摘要:大型语言模型 (LLM) 与经典规划作斗争,但基准测试很少区分结构难度和解释符号词汇的难度。我们使用 BFS 最优计划检查七个 STRIPS 域……
arXiv:2610.26995v1 公告类型:新 摘要:基于 LLM 的代理越来越依赖可重用的技能。然而,扩展技能库使得高效、准确的技能使用变得困难。完整技能加载会产生高令牌和运行时开销。相比之下,扁平语义……
arXiv:2610.27027v1 通告类型:新 摘要:多智能体LLM系统提高了临床任务的性能,这种改进常被视为系统更可靠的证据。然而,这两者并非同一主张。临床医生基于陈述的推理而非…
arXiv:2610.27028v1 通告类型: 新 摘要: 扑克代理可以做出合法动作,但仍可能做出战略上糟糕的动作。我们探讨紧凑型AI代理是否能在隐藏信息下表现出战略行为,以及偏好优化是否能超越静态...
arXiv:2610.27032v1 公告类型: new 摘要: 基于大语言模型(LLM)的智能体近期在单轮任务中表现出色,但在长时程任务中仍面临困难,特别是在无先前训练的环境中。关键…
arXiv:2610.27119v1 通告类型: 新 摘要: LLM智能体通过多步执行任务并根据反馈修正行动。由于总推理预算通常有限且必须支持未来步骤,智能体必须在短推理和长推理之间选择…
arXiv:2610.26887v1 公告类型:新 摘要:大型语言模型 (LLM) 代理正在从对话助理发展为能够自主规划、工具使用和复杂任务执行的协同工作代理。财务分析要求这些代理整合……
arXiv:2610.27103v1 通告类型: 新 摘要: 近期Omni LLM (OLLM) 在联合音视频推理方面展现了卓越能力, 但跨模态幻觉仍是主要挑战. 现有缓解方法主要在输出层面运作,…
arXiv:2610.27115v1 公告类型:新 摘要:LLM 代理通过工具和第三方技能作用于外部世界,因此单个执行的操作可能会造成不可逆转的伤害。现有的防御措施判断拟议的行动,而不跟踪其内容是否来自用户......
arXiv:2610.27120v1 通告类型: 新 摘要: 多模态问答(MMQA)基于整合异构数据源、选择性利用相关模态并忽略干扰项。基于多模态大语言模型(MLLM)的现有方法…
arXiv:2610.27156v1 Announce Type: new Abstract: Object: Motion artefacts remain a major limitation of routine two-dimensional T2-weighted turbo spin-echo (TSE) brain MRI, reducing diagnostic confidence and often necessitating repeated acquisitions. MoSAIK (Motion Search with AI…
arXiv:2610.27159v1 通告类型: 新 摘要: 电动汽车(EV)公共充电给配电馈线增加了大量同步负载。在大多数网络中,同时过载馈线的情况很少见。一旦发生,后果可能很严重:一…
arXiv:2610.27203v1 发布类型: new 摘要: 类增量学习(CIL)使模型能够随时间识别新类别同时保留先验知识,但许多现实问题是组合式的,视觉概念源自基元组合,例如…
arXiv:2610.27220v1 公告类型:new 摘要:近期工作探索了在思维链推理过程中用连续表示代替离散token,通常称为软CoT。这源于这样一个想法:token嵌入的混合可以表示...
arXiv:2610.27099v1 通告类型: 新 摘要: 临床护理、卫生系统运营和生物医学发现依赖于从患者记录中提取可靠答案,但将多样化的临床问题应用于整个人群在计算上仍然昂贵。此处…
arXiv:2610.27046v1 通告类型: new 摘要: 随着AI系统开始解决开放研究问题,可靠验证变得越来越重要。形式化数学为数学推理提供了可信框架,使代理能够生成机器可验证的…
arXiv:2610.27045v1 发布类型:新增 摘要:近年来,物理人工智能(physical AI)快速发展,引起学术界和工业界的高度关注。然而,该领域尚未就其定义、技术……达成共识。
arXiv:2610.26943v1 公告类型:new 摘要:数学推理是大语言模型(LLM)在教育应用中的基本能力,可靠的问题求解不仅需要正确的答案,还需要连贯且可验证的推理过程。…
Амулья Вишванат объясняет, что физический ИИ сейчас на этапе создания основ.
吉尔吉斯斯坦的一名程序员创建了一个计算机科学课程互动平台并筹集了 41.5 万美元 DigitalBusiness.kz
网站管理员,请做好准备。据信针对异常严重漏洞的修复程序将在 12 个多小时后发布,PHP 是一种为无处不在的网站和 Web 应用程序提供支持的编程语言。PHP 维护者周一表示,他们……
Anthropic предложила законопроект по безопасности ИИ, который может блокировать модели при угрозе для жизни более 50 человек.
Google внедряет персонализированный ИИ Gemini в автомобили для удобства водителей.
🤖 Replika 联合创始人推出了 Wabi - 一个可以自行创建应用程序的 AI 信使。 Evgenia Kuida 开放了 Wabi——一个结合了信使和迷你应用程序生成器的个人人工智能代理。在这里,您可以为不同的...创建单独的线程,而不是通常的聊天。