1. Zhu Weijun . 2022 . Approximate Model Checking based on Deep Forest , International Conference on Artificial Intelligence and Computer Information Technology, IEEE press , Yichang, China , 1 - 4 . Zhu Weijun. 2022. Approximate Model Checking based on Deep Forest, International Conference on Artificial Intelligence and Computer Information Technology, IEEE press, Yichang, China, 1-4.
2. Joshua Ackerman , George Cybenko . 2021 . Formal Languages, Deep Learning, Topology and Algebraic Word Problems , IEEE Symposium on Security and Privacy Workshops, IEEE press , San Francisco, CA, USA , 134 - 141 . Joshua Ackerman, George Cybenko. 2021. Formal Languages, Deep Learning, Topology and Algebraic Word Problems, IEEE Symposium on Security and Privacy Workshops, IEEE press, San Francisco, CA, USA, 134-141.
3. Grammar Inference with Multiparameter Genetic Model
4. Grammatical Inference and Machine Learning Approaches to Post-Hoc LangSec