@misc{indiciaee21f70d79fe8,
  title = {Neuroforger: certified violation witnesses for smart contracts verification via LLMs},
  author = {Massimo Bartoletti and Enrico Lipparini},
  year = {2026},
  url = {https://arxiv.org/abs/2605.31389},
  note = {Source identifier: 2605.31389}
}