conftrace_

smart contract generation

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

large language model (2) code generation (2) finite state machine (1) security verification (1) multi-agent framework (1) solidity language (1) gas optimization (1) smart contract (1) code synthesis (1) vulnerability detection (1)

Papers

Towards Trustworthy Smart Contract Synthesis: A Multi-Agent Framework with Lean-Based Verification ACL 2026 Guiding LLM-based Smart Contract Generation with Finite State Machine IJCAI 2025 SolEval: Benchmarking Large Language Models for Repository-level Solidity Smart Contract Generation EMNLP 2025