@misc{indiciae3fb644441211,
  title = {LLMs as verification oracles for Solidity},
  author = {Massimo Bartoletti and Enrico Lipparini and Livio Pompianu},
  year = {2026},
  url = {https://arxiv.org/abs/2509.19153},
  note = {Source identifier: 2509.19153}
}