Automated Invariant Generation for Solidity Smart Contracts. - Ye Liu 012; Chengxuan Zhang; Yi Li 008 (CoRR, 2024)