According to our database1, Taro Sekiyama authored at least 19 papers between 2015 and 2020.
Legend:Book In proceedings Article PhD thesis Other
Proc. ACM Program. Lang., 2020
Weighted Automata Extraction from Recurrent Neural Networks via Regression on State Spaces.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
Proc. ACM Program. Lang., 2019
Proceedings of the Programming Languages and Systems, 2019
Proceedings of the 2018 ACM/SPEC International Conference on Performance Engineering, 2018
Lung nodule classification by the combination of fusion classifier and cascaded convolutional neural networks.
Proceedings of the 15th IEEE International Symposium on Biomedical Imaging, 2018
Automated Proof Synthesis for the Minimal Propositional Logic with Deep Neural Networks.
Proceedings of the Programming Languages and Systems - 16th Asian Symposium, 2018
ACM Trans. Program. Lang. Syst., 2017
Towards Proof Synthesis Guided by Neural Machine Translation for Intuitionistic Propositional Logic.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017
Proceedings of the 34th International Conference on Machine Learning, 2017
Multi-stage Neural Networks with Single-Sided Classifiers for False Positive Reduction and Its Evaluation Using Lung X-Ray CT Images.
Proceedings of the Image Analysis and Processing - ICIAP 2017, 2017
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015
Proceedings of the Programming Languages and Systems - 13th Asian Symposium, 2015