人工智能应用于形式方法 - 现存趋势分析
计算机科学中的逻辑
2025-08-29 v2 人工智能
机器学习
摘要
背景：随着人工智能(AI)在研究社区日常生活中取得显著进展，我们将目光投向形式方法(FM)。FM旨为计算机科学中的问题提供可靠且可验证的推理。目标：我们进行一次系统性映射研究，概览当前将AI应用于FM的研究出版物格局。我们旨在识别FM如何从AI技术中获益，并突出后续研究的领域。我们的关注点集中在过去五年(2019-2023)的研究。方法：遵循系统性映射研究的提出指南，我们在四个主要数据库中搜索相关出版物，定义包含与排除准则，并应用广泛的雪球化技术以发现潜在的额外来源。结果：本次调查产生189条记录，我们探索这些记录以发现当前趋势并突出研究空白。我们发现AI在定理证明领域的关注度很高，而FM的其他子领域代表较少。结论：该映射研究为AI在FM中的现代状态提供了定量概览。该领域的当前趋势尚未成熟。许多初步研究聚焦于实际应用，但我们识别出缺乏理论基础、标准基准或案例研究的问题。进一步地，我们识别出关于共享训练数据集和标准基准的问题。
引用
@article{arxiv.2411.14870,
title = {Application of AI to formal methods - an analysis of current trends},
author = {Sebastian Stock and Jannik Dunkelau and Atif Mashkoor},
journal= {arXiv preprint arXiv:2411.14870},
year = {2025}
}