@misc{indiciaec32318310abb,
  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},
  url = {https://arxiv.org/abs/2505.08542},
  note = {Source identifier: 2505.08542}
}