[FOM] Talk on Formal Verification

David McAllester mcallester at ttic.edu
Sat Feb 6 07:31:04 EST 2016

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.

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

More information about the FOM mailing list