基于LLM辅助的工具：在地图变换的基于规则的验证中联合生成公式和函数
软件工程
2026-05-05 v1
摘要
高清地图变换在自动驾驶系统中至关重要，它实现了不同工具间的互操作性。确保其语义正确性具有挑战性，因为现有的基于规则的框架依赖于手动编写的公式和特定领域的函数，限制了可扩展性。在本文中，我们提出了一个基于LLM辅助的流水线，该流水线在计算FOL框架内联合生成逻辑公式和相应的可执行谓词，并将CommonRoad场景设计器中的地图验证器扩展为支持高程。该流水线利用基于提示的LLM生成来产生符合语法的规则和谓词，这些规则和谓词可直接集成到现有系统中。我们实现了一个原型，并在合成的桥梁和斜坡场景上进行了评估。结果表明，在保持正确性的同时，减少了手动工程工作量，证明了可扩展的、半自动化的人机协同方法在地图变换验证中的可行性。
引用
@article{arxiv.2511.01423,
title = {LLM-Assisted Tool for Joint Generation of Formulas and Functions in Rule-Based Verification of Map Transformations},
author = {Ruidi He and Yu Zhang and Meng Zhang and Andreas Rausch},
journal= {arXiv preprint arXiv:2511.01423},
year = {2026}
}