Taro Sekiyama

1. Weighted Automata Extraction from Recurrent Neural Networks via\n Regression on State Spaces
   2019/04/05 by Takamasa Okudono, Masaki Waga, Okudono, Takamasa +5 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Machine Learning (cs.LG) #Machine Learning (stat.ML) #Machine Learning and Algorithms #Natural Language Processing Techniques #semigroups and automata theory
2. Toward Neural-Network-Guided Program Synthesis and Verification
   2021/03/17 by Naoki Kobayashi, Kobayashi, Naoki, Taro Sekiyama +5 · 1 citation
   Computer Science · #Adversarial Robustness in Machine Learning #FOS: Computer and information sciences #Machine Learning (cs.LG) #Programming Languages (cs.PL) #Software Engineering Research #Software Testing and Debugging Techniques
3. Abstracting Effect Systems for Algebraic Effect Handlers
   2024/04/25 by T. Yoshioka, Yoshioka, Takuma, Taro Sekiyama +3 · 1 citation
   Computer Science · #Model-Driven Software Engineering Techniques #Software Engineering Research