Guiding LLM-based Smart Contract Generation with Finite State Machine

Guiding LLM-based Smart Contract Generation with Finite State Machine

13 May 2025

ArXiv (abs)PDF HTML

Papers citing "Guiding LLM-based Smart Contract Generation with Finite State Machine"

10 / 10 papers shown

Title
TreeCSS: An Efficient Framework for Vertical Federated Learning Qinbo Zhang Xiao Yan Yukai Ding Soham Naigaonkar Suraj Sawant Xiaokai Zhou Jiawei Jiang FedML 21 2 0 03 Aug 2024
Efficacy of Various Large Language Models in Generating Smart Contracts Siddhartha Chatterjee B. Ramamurthy 67 4 0 28 Jun 2024
A Survey on Large Language Models for Code Generation Juyong Jiang Fan Wang Jiasi Shen Sungju Kim Sunghun Kim 122 199 0 01 Jun 2024
When MOE Meets LLMs: Parameter Efficient Fine-tuning for Multi-task Medical Applications Qidong Liu Xian Wu Xiangyu Zhao Yuanshao Zhu Derong Xu Feng Tian Yefeng Zheng MoE 96 72 0 21 Oct 2023
Recommender Systems in the Era of Large Language Models (LLMs) Zihuai Zhao Wenqi Fan Jiatong Li Yunqing Liu Xiaowei Mei ... Zhen Wen Fei Wang Xiangyu Zhao Jiliang Tang Qing Li KELM 167 344 0 05 Jul 2023
Chain-of-Thought Prompting Elicits Reasoning in Large Language Models Jason W. Wei Xuezhi Wang Dale Schuurmans Maarten Bosma Brian Ichter F. Xia Ed H. Chi Quoc Le Denny Zhou LM&Ro LRM AI4CE ReLM 856 9,714 0 28 Jan 2022
Synchromesh: Reliable code generation from pre-trained language models Gabriel Poesia Oleksandr Polozov Vu Le A. Tiwari Gustavo Soares Christopher Meek Sumit Gulwani 66 162 0 26 Jan 2022
Slither: A Static Analysis Framework For Smart Contracts Josselin Feist Gustavo Grieco Alex Groce 54 623 0 26 Aug 2019
BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding Jacob Devlin Ming-Wei Chang Kenton Lee Kristina Toutanova VLM SSL SSeg 1.8K 95,324 0 11 Oct 2018
Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts Anastasia Mavridou Aron Laszka 29 80 0 26 Feb 2018