SolBehave: Evaluating the Behavioural Correctness of LLM-Generated Smart Contracts.

arXiv:2610.18745v1 Announce Type: cross Abstract: Large language models increasingly generate Solidity smart contracts that, once deployed, can never be patched, making a single latent fault permanent and exploitable. Yet current evaluations mostly ask only wh