Emily Carter. “The Role of AI in Smart Contract Verification: Automating Trust and Security on Blockchain Networks”. Australian Journal of Machine Learning Research & Applications, vol. 4, no. 2, Sept. 2024, pp. 102-8, https://sydneyacademics.com/index.php/ajmlra/article/view/170.