<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"><channel><title>Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples · HackerPapers discussions</title><link>https://hackerpaper.kaipfister.de/p/1711.09576/</link><description>Collected HN comments and submissions linking this paper.</description><language>en</language><lastBuildDate>Mon, 02 Nov 2026 11:16:22 GMT</lastBuildDate><atom:link href="https://hackerpaper.kaipfister.de/p/1711.09576/feed.xml" rel="self" type="application/rss+xml" /><item><title>Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples — mentioned by Cybiote</title><link>https://news.ycombinator.com/item?id=24711412</link><guid isPermaLink="false">urn:hackerpapers:mention:1711.09576:24711412</guid><pubDate>Wed, 07 Oct 2020 18:57:47 GMT</pubDate><description>&lt;p&gt;&amp;gt; What is this sentence supposed to convey? There are examples where it is able to recognize and continue patterns in strings which if manually generated, would have required a FSM. In fact, some of the more impressive examples would require a stack of some sort so I thought I was rather underselling its capabilities in that arena. &amp;gt; as GPT isn&amp;#x27;t a &amp;quot;state machine&amp;quot; as the latent space is continuous and not finite. Technically speaking, that is impossible since these models leverage floating point numbers and are limited in memory to whatever hidden and self-attention layers. Practically…&lt;/p&gt;&lt;p&gt;&lt;a href="https://hackerpaper.kaipfister.de/p/1711.09576/"&gt;Paper and discussion history&lt;/a&gt;. A mention is not an endorsement.&lt;/p&gt;</description><category>cs.LG</category></item><item><title>Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples — mentioned by long</title><link>https://news.ycombinator.com/item?id=17052699</link><guid isPermaLink="false">urn:hackerpapers:mention:1711.09576:17052699</guid><pubDate>Sat, 12 May 2018 06:05:00 GMT</pubDate><description>&lt;p&gt;I think you will like this paper then: https://arxiv.org/abs/1711.09576&lt;/p&gt;&lt;p&gt;&lt;a href="https://hackerpaper.kaipfister.de/p/1711.09576/"&gt;Paper and discussion history&lt;/a&gt;. A mention is not an endorsement.&lt;/p&gt;</description><category>cs.LG</category></item><item><title>Extracting Automata from Recurrent Neural Networks Using Queries and Counterexamples — HN submission</title><link>https://news.ycombinator.com/item?id=15797755</link><guid isPermaLink="false">urn:hackerpapers:submission:1711.09576:15797755</guid><pubDate>Tue, 28 Nov 2017 14:57:36 GMT</pubDate><description>&lt;p&gt;Extracting Automata from RNNs Using Queries and Counterexamples [pdf]&lt;/p&gt;&lt;p&gt;&lt;/p&gt;&lt;p&gt;4 points; 0 discussion replies on HN. &lt;a href="https://hackerpaper.kaipfister.de/p/1711.09576/"&gt;Paper and source history&lt;/a&gt;. A submission is not an endorsement.&lt;/p&gt;</description><category>cs.LG</category></item></channel></rss>
