Aws Albarghouthi
@awsTO
Joined October 2009
1K Following 2.4K Followers
in 1948, Turing introduced "unorganized machines", machines that learn, which we now call neural nets.
in 1949, in "Checking a large routing", Turing introduced formal verification (Floyd-Hoare triples).
Today, neural nets do formal verification. Pretty wild.
Show more
