An end-to-end agentic pipeline for smart contract translation and quality evaluation
On the map: LLM agents and tool use → Agent threats, guardrails and governance
Abstract (arXiv)
We present an end-to-end framework for systematic evaluation of LLM-generated smart contracts from natural-language specifications. The system parses contractual text into structured schemas, generates Solidity code, and performs automated quality assessment through compilation and security checks. Using CrewAI-style agent teams with iterative refinement, the pipeline produces structured artifacts with full provenance metadata. Quality is measured across five dimensions, including functional completeness, variable fidelity, state-machine correctness, business-logic fidelity, and code quality aggregated into composite scores. The framework supports paired evaluation against ground-truth implementations, quantifying alignment and identifying systematic error modes such as logic omissions and state transition inconsistencies. This provides a reproducible benchmark for empirical research on smart contract synthesis quality and supports extensions to formal verification and compliance checking.
Key facts. No citing papers in the map yet (data through 7 Oct 2026). Placed in Agent threats, guardrails and governance, one of 16 directions in LLM agents and tool use. Builds on 15 of its 27 references that are in the map. First posted on arXiv 14 Feb 2026.
Builds on
15 of 27 references.
References · 15
- 2020Language Models are Few-Shot Learnerscited by 32,199
- 2023GPT-4 Technical Reportcited by 18,132
- 2022Chain-of-Thought Prompting Elicits Reasoning in Large Language Modelscited by 12,302
- 2022ReAct: Synergizing Reasoning and Acting in Language Modelscited by 8,355
- 2021Evaluating Large Language Models Trained on Codecited by 8,053
- 2021Program Synthesis with Large Language Modelscited by 3,509
- 2023Code Llama: Open Foundation Models for Codecited by 2,105
- 2019Slither: A Static Analysis Framework For Smart Contractscited by 88
- 2019A Survey on Ethereum Systems Security: Vulnerabilities, Attacks and Defensescited by 25
- 2019An Overview on Smart Contracts: Challenges, Advances and Platformscited by 20
- 2024SmartInv: Multimodal Learning for Smart Contract Invariant Inferencecited by 6
- 2025Guiding LLM-based Smart Contract Generation with Finite State Machinecited by 5
3 more
Built on by
Not cited yet.
Similar, not cited
Close in wording, no citation either way
- 2025Towards Automated Smart Contract Generation: Evaluation, Benchmarking, and Retrieval-Augmented Repair
- 2025Agentic Specification Generator for Move Programs
- 2026SolAgent: A Specialized Multi-Agent Framework for Solidity Code Generation
- 2025Securing Smart Contract Languages with a Unified Agentic Framework for Vulnerability Repair in Solidity and Move
- 2026Repository-Level Solidity Code Generation with Large Language Models: From Prompting to Fine-Tuning
- 2024PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation
- 2025Beyond Code Similarity: Benchmarking the Plausibility, Efficiency, and Complexity of LLM-Generated Smart Contracts
- 2024Combining Fine-Tuning and LLM-based Agents for Intuitive Smart Contract Auditing with Justifications