✕

AI咨询

每日早报 投融资 最新技术 行业应用 大模型进展

AI知识

AI工具库 AI智能体 AI编程 Hermes 使用 Codex 使用 Claude Code 学习路径 Prompt模板库

AI应用

最佳实践 企业落地 AI赚钱 OPC 一人公司 落地SOP AI成熟度诊断 咨询预约

其他

AI 问答 关于本站
首页 / 搜索

搜索

站内内容与 AI 工具一站式检索。

全部 只搜内容 只搜工具

内容 · 1 条

最新技术 2026-10-27

PaperFormalizer:作者参与式的研究论文 Lean 自动形式化

PaperFormalizer 是一个基于 Lean 的智能体流水线,帮助作者发现并修补论文证明中的漏洞,把论文转成经 Lean 验证的版本,关键决策交由作者确认。