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

Department of Computer Science and Artificial Intelligence

Technion-Israel Institute of Technology

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 - 2018
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

Bibliographical note

Publisher Copyright:
© 35th International Conference on Machine Learning, ICML 2018.All Rights Reserved.

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{8852ed9debbe4047be2a98ea957c6ae6,

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",

language = "אנגלית",

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

Y1 - 2018

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 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

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

Bibliographical note

Other files and links

Fingerprint

Cite this