Ponzi scheme detection in smart contracts using the integration of deep learning and formal verification. - Shibao Chen; Fei Li (IET Blockchain, 2024)