@misc{corazza2025accessible,
  title={Accessible Smart Contracts Verification: Synthesizing Formal Models with Tamed LLMs},
  author={Jan Corazza and Ivan Gavran and Gabriela Moreira and Daniel Neider},
  year={2025},
  eprint={2501.12972},
  archivePrefix={arXiv},
  primaryClass={cs.SE},
  url={https://arxiv.org/abs/2501.12972}
}