Klara Novak, “AI-Based Smart Contract Verification: Securing and Accurate Blockchain Ecosystems”, Edinburg J. of Nat. Lang. Proc. and AI, vol. 7, pp. 1–6, Dec. 2023, Accessed: Mar. 15, 2026. [Online]. Available: https://ejnlpai.org/index.php/publication/article/view/1