3 papers
cs.NE2020
Genetic Algorithm for the Weight Maximization Problem on Weighted Automata
Elena Gutiérrez, Takamasa Okudono, Masaki Waga +1
The weight maximization problem (WMP) is the problem of finding the word of highest weight on a weighted finite state automaton (WFA). It is an essential question that emerges in m…
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…
cs.LO2017
Sharper and Simpler Nonlinear Interpolants for Program Verification
Takamasa Okudono, Yuki Nishida, Kensuke Kojima +3
Interpolation of jointly infeasible predicates plays important roles in various program verification techniques such as invariant synthesis and CEGAR. Intrigued by the recent resul…