"Harley Quinn team on IBM Bob Hackathon Hackathon"

Team Idea

For the love of Hackathons!!

Team Members

Fawaz Ishola

fawaz_ishola604

Jordynbellamy

jordynbellamy279

Submission

Gandy: Neurosymbolic Smart Contract Verification

Gandy uses IBM Bob's neurosymbolic AI, Z3 SMT solvers, and game theory to verify the economics of smart contracts, automatically catching and mathematically patching billion-dollar Web3 logic exploits before production.