@article{guidingllmbasedsmartcontractgeneration,
  title = {Guiding LLM-based Smart Contract Generation with Finite State Machine},
  author = {Hao Luo and YuHao Lin and Xiao Yan and Xintong Hu and Yuxiang Wang and Qiming Zeng and Hao Wang and Jiawei Jiang},
  year = {2025},
  eprint = {2505.08542},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2505.08542v1},
}