NEAR's Alex Skidanov Explores AI-Powered Formal Verification For Crypto

Check out @AlexSkidanov's talk with @ChrSzegedy here: https://www.youtube.com/watch?v=d385TTn-0L8&list=PL9tzQn_TEuFUvCYDl-fDmFTiOUEwZ6jj5&index=8