返回全部动态
Eiffel-tools：结合大语言模型与语言服务器协议的静态验证开发工具
原标题：Large Language Models and Language Server Protocol: a match made in context
AI 摘要
本文介绍 Eiffel-tools，一个基于语言服务器协议（LSP）的工具，利用大语言模型辅助 Eiffel 编程语言的静态验证开发。该工具通过结合 LLM 和形式验证器，在多个数据集上修复了 76% 至 95% 的缺陷，展示了 LLM 与验证器协同工作的潜力。
以上摘要由 AI 生成，可能存在误差。事实请以原文为准。
正文节选
Large Language Models and Language Server Protocol: a match made in context Abstract This article introduces Eiffel-tools, a language server protocol (LSP) implementation for the Eiffel programming language that uses Large Language Models (LLMs) to aid the development of statically verified software. The tool provides various interactive and non-interactive commands to produce code and specifications. It uses language and project specific knowledge to precisely direct the LLM and verifies the ou
发布时间：2026-09-04 12:00
抓取时间：2026-09-04 13:45
来源机构：arXiv