Home » Experiments show AI could help to audit smart contracts, but not yet