[FOM] Talk on Formal Verification

[David McAllester]

On Fri, Feb 5, 2016 at 2:42 PM, Walt Read <walt.read at gmail.com> wrote:
>
>
> ​...​
> The problem with neural nets is that they don't really "come up" with
> anything.


Current image captioning systems
<http://cs.stanford.edu/people/karpathy/deepimagesent/> write a sentence
about a given picture.  The point is that current neural-network based
systems can "propose" syntactic expressions over a large vocabulary.  We
don't have to understand how they work in order to use the results.

David
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20160206/68a586da/attachment.html>