AI 大模型
大模型推理能力
大模型数学、逻辑、规划、多步推理和测试时计算能力。
Physics-guided discovery of dynamical dark-energy equations of state through iterative AI reasoning
通过迭代AI推理发现动力学暗能量状态方程的物理引导
专题命中 复杂问题求解 :LLM迭代推理发现暗能量状态方程
AI总结 提出迭代AI推理框架,利用大语言模型生成并优化暗能量状态方程,结合文献检索和自动评估,发现两种新参数化形式,在超新星、重子声学振荡和Planck数据上优于传统模型。
Comments 6 figures, 45 pages, submitted. Code: https://iadev.cbpf.br/labia/cosmoai
Off-Policy Evaluation for Missingness-Aware Policies in MDPs with Rewards Missing Not at Random
马尔可夫决策过程中奖励非随机缺失的缺失感知策略的离线评估
专题命中 复杂问题求解 :离线策略评估,奖励缺失问题
AI总结 针对奖励非随机缺失的离线强化学习问题,提出基于未来状态作为影子变量的识别方法,并利用桥函数和min-max估计器恢复条件均值奖励,实现缺失感知策略的离线评估。
Comments Accepted at ICML 2026. 31 pages, 6 figures
Survey of Automated Vulnerability Detection and Exploit Generation Techniques in Cyber Reasoning Systems
网络推理系统中自动化漏洞检测与利用生成技术综述
专题命中 复杂问题求解 :综述自动化漏洞检测与利用生成,涉及推理
AI总结 本文综述了DARPA网络大挑战赛中获胜系统Mayhem和Mechanical Phish的自动化漏洞检测与利用生成技术,总结了其核心方法、底层技术及相关工作。
Comments This is the accepted submitted version of this paper that was published in the Intelligent Computing Proceedings of the 2018 Computing Conference, Volume 2
Journal ref Intelligent Computing: Proceedings of the 2018 Computing Conference, Vol. 2, Springer, 2019, pp. 1083-1102