Sekiyama, Taro

1. Weighted Automata Extraction from Recurrent Neural Networks via\n Regression on State Spaces
   2019/04/05 by Takamasa Okudono, Okudono, Takamasa, Masaki Waga +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. Abstracting Effect Systems for Algebraic Effect Handlers
   2024/04/25 by T. Yoshioka, Yoshioka, Takuma, Taro Sekiyama +3 · 2 citations
   Computer Science · #Model-Driven Software Engineering Techniques #Software Engineering Research
3. 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
4. Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers
   2023/07/28 by Kawamata, Fuga, Unno, Hiroshi, Sekiyama, Taro +1 · 1 citation
   #FOS: Computer and information sciences #Programming Languages (cs.PL)