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.
더 보기
