Date: 2018-10-22 12:57:37Mathematics Theoretical computer science Applied mathematics Logic in computer science Formal methods Computational neuroscience Artificial neural networks Proof assistants Entropy Coq N-gram Recurrent neural network | | Language Models for Proofs Anonymous Author(s) ABSTRACT Proofs play a key role in reasoning about programs and verification of properties of systems. Mechanized proof assistants help users in developing proofs and checkiAdd to Reading ListSource URL: web.cs.ucdavis.eduDownload Document from Source Website File Size: 439,91 KBShare Document on Facebook
|