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" :-)