随着人工智能（AI）在研究领域的日常生活中得到广泛应用，我们将目光转向一个似乎不适合概率决策的应用领域：形式化方法（FM）。形式化方法旨在为计算机科学中的问题提供可靠且易于理解的推理，这似乎与许多AI方法所具有的“黑盒”特性相冲突。然而，许多研究人员已经跨越了这一鸿沟，并应用AI技术来增强形式化方法。由于形式化方法和人工智能的这种二元性激发了我们的兴趣，我们进行了一项系统性文献综述研究，以绘制当前研究现状图谱。在这项研究中，我们将调查过去五年（2019-2023年）将人工智能应用于形式化方法的研究，因为这些时期对应着高活跃度时期。这项调查得出了189篇论文，我们将更详细地探讨这些论文，以发现当前趋势，突出研究差距，并为未来的研究提供建议。