Verify your neural controller with a neural proof certificate. Verify your proof certificate with a certificate checker. Verify your cert checker with an interactive theorem prover. Verify your…

Posters: davidad. davidad

3 likes recorded by the source corpus.