20 citations · 57 across the 16 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.PL2019★ 1 cited
Gradual Typing for Extensibility by Rows
Taro Sekiyama, Atsushi Igarashi
This work studies gradual typing for row types and row polymorphism. Key ingredients in this work are the dynamic row type, which represents a statically unknown part of a row, and…
cs.LG2019
Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces
Takamasa Okudono, Masaki Waga, Taro Sekiyama +1
We present a method to extract a weighted finite automaton (WFA) from a recurrent neural network (RNN). Our algorithm is based on the WFA learning algorithm by Balle and Mohri, whi…