Measuring Where Intent Gets Lost in Agentic Smart Contract Synthesis
This is the first study in smart contract synthesis to gather missing requirements before generation and check the result against an independently written executable model, and proposes an elicitation-first architecture.
Abhinav Goel, A. Capponi, Alfio Gliozzo et al.
· 0 citations