形式化验证 LLM-DailyDigest 2026-08-30 2026-08-30 约 100 字 预计阅读 1 分钟 形式化验证 本主题由提交工具自动创建，可在此补充洞察与资料。 相关消息（按子主题自动聚合） 元智能体编排 1 Eureka：面向科学发现的任务条件元代理编排 08-20 分层验证 1 给验证器打分：LLM 推理验证自治等级 L0–L5 08-20 协同规划 1 集体反事实规划：表征约束下的协调、同意与验证 08-19 可信执行 1 面向可信智能体执行的策略代数 08-18 可验证推理 1 SymbolLKG：以逻辑知识图与符号求解器实现可验证推理 08-29 形式化证明 2 AxiomProver用Lean 4完成“246定理”形式化验证 08-23 AI 辅助攻克森多夫猜想，陶哲轩推导出更强结果 08-16 形式化评测 1 FormalTCS：端到端前沿理论计算机科研评测 08-21 形式化验证 3 Specula 自动形式化验证：67 个开源系统发现 382 个深层 Bug 08-27 AI 证明泛滥后，可信验证成为最昂贵的智能 08-19 Vero：智能体能否构建形式化验证的软件仓库 08-16 指标演化 1 EvalCEGAR：从盲点中自动演化评估指标 08-20 断言生成 1 NeuroAssertion：覆盖驱动的 RTL 断言生成与神经符号精炼 08-20 本体推理 1 Baobab：将 OWL 2 DL 编译为可微电路的神经符号学习 08-19 模型验证 1 以模型检验为预言机自动测试 LLM 事后解释器 09-01 符号规划 1 PDDLCoder：智能体式 PDDL 生成辅助符号规划 08-18 证明修复 1 CAPRI：面向 Isabelle 的契约感知证明修复 08-16 语义编译 1 受限语义规划与确定性编译提升企业 Text-to-SQL 可靠性 08-18 辩论评判 1 事后辩论裁判理论 08-20 验证器开发 1 AI 权威执行：从应用到芯片的机器验证 08-24
