AI Can Fix Your DeFi Smart Contracts, Researchers Claim