本文提出改进的自动化定理证明工具IsabeLLM-RAG,通过引入检索增强生成、错误追踪和反例生成机制优化大语言模型上下文,用于形式化验证区块链共识协议(如比特币工作量证明),提升了验证效率与能力。
机构:帝国理工
来源:arXiv 2606.18098 | AI4Papers 论文推荐平台
AI4Papers 是一个以每日 arXiv 论文发现为入口的 AI 科研工作流平台,帮助研究者用最短时间掌握最新 AI/ML 前沿动态。
核心功能完全免费。高级 AI 功能(对比分析、深度研究、灵感工作台)支持自带兼容 API Key(如 OpenAI、通义千问)无限使用。
免费注册 | 使用教程