Back to Results
First PageMeta Content
Mathematics / 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 checki
Add to Reading List

Document Date: 2018-10-22 12:57:37


Open Document

File Size: 439,91 KB

Share Result on Facebook
UPDATE