Supplementary material - Extracting automata from recurrent neural networks using queries and counterexamples

Gail Weiss; Yoav Goldberg; Eran Yahav

Supplementary material - Extracting automata from recurrent neural networks using queries and counterexamples

Gail Weiss, Yoav Goldberg, Eran Yahav

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Abstract

This supplementary material contains a description of the L^∗ algorithm (Section 1), and additional experimental results and details (Section 2).

Original language	English
Title of host publication	35th International Conference on Machine Learning, ICML 2018
Editors	Jennifer Dy, Andreas Krause
Publisher	International Machine Learning Society (IMLS)
Pages	8350-8357
Number of pages	8
ISBN (Electronic)	9781510867963
State	Published - 1 Jan 2018
Externally published	Yes
Event	35th International Conference on Machine Learning, ICML 2018 - Stockholm, Sweden Duration: 10 Jul 2018 → 15 Jul 2018

Publication series

Name	35th International Conference on Machine Learning, ICML 2018
Volume	12

Conference

Conference	35th International Conference on Machine Learning, ICML 2018
Country/Territory	Sweden
City	Stockholm
Period	10/07/18 → 15/07/18

ASJC Scopus subject areas

Computational Theory and Mathematics
Human-Computer Interaction
Software

Cite this

Weiss, G., Goldberg, Y., & Yahav, E. (2018). Supplementary material - Extracting automata from recurrent neural networks using queries and counterexamples. In J. Dy, & A. Krause (Eds.), 35th International Conference on Machine Learning, ICML 2018 (pp. 8350-8357). (35th International Conference on Machine Learning, ICML 2018; Vol. 12). International Machine Learning Society (IMLS).

Weiss, Gail ; Goldberg, Yoav ; Yahav, Eran. / Supplementary material - Extracting automata from recurrent neural networks using queries and counterexamples. 35th International Conference on Machine Learning, ICML 2018. editor / Jennifer Dy ; Andreas Krause. International Machine Learning Society (IMLS), 2018. pp. 8350-8357 (35th International Conference on Machine Learning, ICML 2018).

@inproceedings{0fc71e09e9e443b38311b29edb33c664,

title = "Supplementary material - Extracting automata from recurrent neural networks using queries and counterexamples",

abstract = "This supplementary material contains a description of the L∗ algorithm (Section 1), and additional experimental results and details (Section 2).",

author = "Gail Weiss and Yoav Goldberg and Eran Yahav",

note = "Publisher Copyright: {\textcopyright} 35th International Conference on Machine Learning, ICML 2018.All Rights Reserved.; 35th International Conference on Machine Learning, ICML 2018 ; Conference date: 10-07-2018 Through 15-07-2018",

year = "2018",

month = jan,

day = "1",

language = "English",

series = "35th International Conference on Machine Learning, ICML 2018",

publisher = "International Machine Learning Society (IMLS)",

pages = "8350--8357",

editor = "Jennifer Dy and Andreas Krause",

booktitle = "35th International Conference on Machine Learning, ICML 2018",

}

Weiss, G, Goldberg, Y & Yahav, E 2018, Supplementary material - Extracting automata from recurrent neural networks using queries and counterexamples. in J Dy & A Krause (eds), 35th International Conference on Machine Learning, ICML 2018. 35th International Conference on Machine Learning, ICML 2018, vol. 12, International Machine Learning Society (IMLS), pp. 8350-8357, 35th International Conference on Machine Learning, ICML 2018, Stockholm, Sweden, 10/07/18.

Supplementary material - Extracting automata from recurrent neural networks using queries and counterexamples. / Weiss, Gail; Goldberg, Yoav; Yahav, Eran.
35th International Conference on Machine Learning, ICML 2018. ed. / Jennifer Dy; Andreas Krause. International Machine Learning Society (IMLS), 2018. p. 8350-8357 (35th International Conference on Machine Learning, ICML 2018; Vol. 12).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Supplementary material - Extracting automata from recurrent neural networks using queries and counterexamples

AU - Weiss, Gail

AU - Goldberg, Yoav

AU - Yahav, Eran

PY - 2018/1/1

Y1 - 2018/1/1

N2 - This supplementary material contains a description of the L∗ algorithm (Section 1), and additional experimental results and details (Section 2).

AB - This supplementary material contains a description of the L∗ algorithm (Section 1), and additional experimental results and details (Section 2).

UR - https://www.scopus.com/pages/publications/85057337690

M3 - Conference contribution

AN - SCOPUS:85057337690

T3 - 35th International Conference on Machine Learning, ICML 2018

SP - 8350

EP - 8357

BT - 35th International Conference on Machine Learning, ICML 2018

A2 - Dy, Jennifer

A2 - Krause, Andreas

PB - International Machine Learning Society (IMLS)

T2 - 35th International Conference on Machine Learning, ICML 2018

Y2 - 10 July 2018 through 15 July 2018

ER -

Supplementary material - Extracting automata from recurrent neural networks using queries and counterexamples

Abstract

Publication series

Conference

ASJC Scopus subject areas

Other files and links

Fingerprint

Cite this