Aws Albarghouthi
@awsTO
参加 October 2009
1K フォロー中 2.4K ファン
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.
もっと見る
