[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Axiom-developer] AI is coming for my job!

From: Tim Daly
Subject: [Axiom-developer] AI is coming for my job!
Date: Sun, 21 Jul 2019 08:29:03 -0400

Generating Correctness Proof with Neural Networks

Apparently they managed to prove 15.77% of the proofs in
the CompCert verified compiler effort.

"Now, here, you see, it takes all the running you can do to
keep in the same place. If you want to get somewhere else,
you must run at least twice as fast as that."
   -- Alvin Toffler "Future Shock" :-)


reply via email to

[Prev in Thread] Current Thread [Next in Thread]