Zeng, Qiming

1 publications

IJCAI 2025 Guiding LLM-Based Smart Contract Generation with Finite State Machine Hao Luo, Yuhao Lin, Xiao Yan, Xintong Hu, Yuxiang Wang, Qiming Zeng, Hao Wang, Jiawei Jiang