TY  - RPRT
TI  - Guiding LLM-based Smart Contract Generation with Finite State Machine
AU  - Hao Luo
AU  - Yuhao Lin
AU  - Xiao Yan
AU  - Xintong Hu
AU  - Yuxiang Wang
AU  - Qiming Zeng
AU  - Hao Wang
AU  - Jiawei Jiang
PY  - 2025
UR  - https://arxiv.org/abs/2505.08542
ID  - 2505.08542
ER  -