@misc{indiciae28611f02943d,
  title = {Application of AI to formal methods - an analysis of current trends},
  author = {Sebastian Stock and Jannik Dunkelau and Atif Mashkoor},
  year = {2025},
  url = {https://arxiv.org/abs/2411.14870},
  note = {Source identifier: 2411.14870}
}