Cover Image

Guiding LLM-based Smart Contract Generation with Finite State Machine

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Luo, Hao, Lin, Yuhao, Yan, Xiao, Hu, Xintong, Wang, Yuxiang, Zeng, Qiming, Wang, Hao, Jiang, Jiawei
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

How Significant Are the Real Performance Gains? An Unbiased Evaluation Framework for GraphRAG
by: Zeng, Qiming, et al.
Published: (2025)

MiCU: End-to-End Smart Home Command Understanding with Large Language Model
by: Han, Haowei, et al.
Published: (2026)

SmartLLM: Smart Contract Auditing using Custom Generative AI
by: Kevin, Jun, et al.
Published: (2025)

Prompt to Pwn: Automated Exploit Generation for Smart Contracts
by: Xiao, ZeKe, et al.
Published: (2025)

On LLM-Assisted Generation of Smart Contracts from Business Processes
by: Stiehle, Fabian, et al.
Published: (2025)

evalSmarT: An LLM-Based Framework for Evaluating Smart Contract Generated Comments
by: Mbodji, Fatou Ndiaye
Published: (2025)

Large Language Model based Smart Contract Auditing with LLMBugScanner
by: Yuan, Yining, et al.
Published: (2025)

Logic Meets Magic: LLMs Cracking Smart Contract Vulnerabilities
by: Xiao, ZeKe, et al.
Published: (2025)

Teaching Machines to Code: Smart Contract Translation with LLMs
by: Karanjai, Rabimba, et al.
Published: (2024)

ContractBench: Can LLM Agents Preserve Observation Contracts?
by: Wang, Jicheng, et al.
Published: (2026)

Towards Automated Smart Contract Generation: Evaluation, Benchmarking, and Retrieval-Augmented Repair
by: Chen, Zaoyu, et al.
Published: (2025)

FiSMiness: A Finite State Machine Based Paradigm for Emotional Support Conversations
by: Zhao, Yue, et al.
Published: (2025)

SmartLLMSentry: A Comprehensive LLM Based Smart Contract Vulnerability Detection Framework
by: Zaazaa, Oualid, et al.
Published: (2024)

NeuroGenPoisoning: Neuron-Guided Attacks on Retrieval-Augmented Generation of LLM via Genetic Optimization of External Knowledge
by: Zhu, Hanyu, et al.
Published: (2025)

Generative AI for Visualization: State of the Art and Future Directions
by: Ye, Yilin, et al.
Published: (2024)

SecFSM: Knowledge Graph-Guided Verilog Code Generation for Secure Finite State Machines in Systems-on-Chip
by: Hu, Ziteng, et al.
Published: (2025)

AI Agent Smart Contract Exploit Generation
by: Gervais, Arthur, et al.
Published: (2025)

Scheduling Your LLM Reinforcement Learning with Reasoning Trees
by: Wang, Hong, et al.
Published: (2025)

Evolve as a Team: Collaborative Self-Evolution for LLM-based Multi-Agent Systems
by: Hao, Zhezheng, et al.
Published: (2026)

AI-Based Vulnerability Analysis of NFT Smart Contracts
by: Wang, Xin, et al.
Published: (2025)

Guided Streaming Stochastic Interpolant Policy
by: Jiang, Puming, et al.
Published: (2026)

SmartBench: Evaluating LLMs in Smart Homes with Anomalous Device States and Behavioral Contexts
by: Zou, Qingsong, et al.
Published: (2026)

LightMoE: Reducing Mixture-of-Experts Redundancy through Expert Replacing
by: Hao, Jiawei, et al.
Published: (2026)

Entropy-Guided Dynamic Tokens for Graph-LLM Alignment in Molecular Understanding
by: Jing, Zihao, et al.
Published: (2026)

Adaptive Theory of Mind for LLM-based Multi-Agent Coordination
by: Mu, Chunjiang, et al.
Published: (2026)

Towards Secure Program Partitioning for Smart Contracts with LLM's In-Context Learning
by: Liu, Ye, et al.
Published: (2025)

ODIA: Oriented Distillation for Inline Acceleration of LLM-based Function Calling
by: Zhang, Hanlong, et al.
Published: (2025)

PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation
by: Liu, Ye, et al.
Published: (2024)

SCDBench: A Benchmark for LLM-Based Smart Contract Decompilers
by: Qin, Kaihua, et al.
Published: (2026)

GeoFM: Enhancing Geometric Reasoning of MLLMs via Synthetic Data Generation through Formal Language
by: Zhang, Yuhao, et al.
Published: (2025)

VIDA: A dataset for Visually Dependent Ambiguity in Multimodal Machine Translation
by: Pan, Jingheng, et al.
Published: (2026)

Towards Compositional Generalization in LLMs for Smart Contract Security: A Case Study on Reentrancy Vulnerabilities
by: Zhou, Ying, et al.
Published: (2026)

EVMbench: Evaluating AI Agents on Smart Contract Security
by: Wang, Justin, et al.
Published: (2026)

MetaAgent: Automatically Constructing Multi-Agent Systems Based on Finite State Machines
by: Zhang, Yaolun, et al.
Published: (2025)

Tailored Prompts, Targeted Protection: Vulnerability-Specific LLM Analysis for Smart Contracts
by: Zhang, Xing, et al.
Published: (2026)

R2GenKG: Hierarchical Multi-modal Knowledge Graph for LLM-based Radiology Report Generation
by: Wang, Futian, et al.
Published: (2025)

CodeBC: A More Secure Large Language Model for Smart Contract Code Generation in Blockchain
by: Wang, Lingxiang, et al.
Published: (2025)

FAP-CD: Fairness-Driven Age-Friendly Community Planning via Conditional Diffusion Generation
by: Li, Jinlin, et al.
Published: (2024)

Pseudo-Knowledge Graph: Meta-Path Guided Retrieval and In-Graph Text for RAG-Equipped LLM
by: Yang, Yuxin, et al.
Published: (2025)

SCALM: Detecting Bad Practices in Smart Contracts Through LLMs
by: Li, Zongwei, et al.
Published: (2025)