we teach machines to prove your code can't lie