Neuro-Symbolic Analysis of Smart Contracts

An ongoing project exploring symbolic execution and AI-based techniques for scalable smart contract security analysis.