| Symbolic manipulation based on deep neural networks and its application to axiom discovery CH Cai, D Ke, Y Xu, K Su 2017 International Joint Conference on Neural Networks (IJCNN), 2136-2143, 2017 | 16 | 2017 |
| Silas: A high-performance machine learning foundation for logical reasoning and verification H Bride, CH Cai, J Dong, JS Dong, Z Hóu, S Mirjalili, J Sun Expert Systems with Applications 176, 114806, 2021 | 14 | 2021 |
| Audio-only bird species automated identification method with limited training data based on multi-channel deep convolutional neural networks J Xie, C Ding, W Li, C Cai arXiv preprint arXiv:1803.01107, 2018 | 14 | 2018 |
| Learning of human-like algebraic reasoning using deep feedforward neural networks CH Cai, Y Xu, D Ke, K Su Biologically Inspired Cognitive Architectures 25, 43-50, 2018 | 13 | 2018 |
| A fast learning method for multilayer perceptrons in automatic speech recognition systems C Cai, Y Xu, D Ke, K Su Journal of Robotics 2015, 2015 | 13 | 2015 |
| Automatic B-model repair using model checking and machine learning CH Cai, J Sun, G Dobbie Automated Software Engineering 26 (3), 653-704, 2019 | 11 | 2019 |
| Fast learning of deep neural networks via singular value decomposition C Cai, D Ke, Y Xu, K Su PRICAI 2014: Trends in Artificial Intelligence: 13th Pacific Rim …, 2014 | 11 | 2014 |
| N-PAT: A Nested Model-Checker: (System Description) H Bride, CH Cai, JS Dong, R Gore, Z Hóu, B Mahony, J McCarthy Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris …, 2020 | 7 | 2020 |
| B-Repair: Repairing B-Models Using Machine Learning CH Cai, J Sun, G Dobbie 2018 23rd International Conference on Engineering of Complex Computer …, 2018 | 6 | 2018 |
| Repairing numerical equations in analogically blended theories using reformation CH Cai, A Bundy Proceedings of HLC, 2022 | 3 | 2022 |
| Achieving Abstract Machine Reachability with Learning-Based Model Fulfilment CH Cai, J Sun, G Dobbie, SUJ Lee 2019 26th Asia-Pacific Software Engineering Conference (APSEC), 260-267, 2019 | 3 | 2019 |
| Measuring the Quality of B Abstract Machines with ISO/IEC 25010 CH Cai, J Sun, G Dobbie 2020 International Symposium on Theoretical Aspects of Software Engineering …, 2020 | 2 | 2020 |
| SLDR-DL: A Framework for SLD-Resolution with Deep Learning CH Cai arXiv preprint arXiv:1705.02210, 2017 | 2 | 2017 |
| The Application of Reformation to Repair Faulty Analogical Blends CH Cai MSc Dissertation, University of Edinburgh, 2016 | 2 | 2016 |
| A lattice-transformer-graph deep learning model for Chinese named entity recognition M Lin, Y Xu, C Cai, D Ke, K Su Journal of Intelligent Systems 32 (1), 20222014, 2023 | 1 | 2023 |
| Design model repair with formal verification CH Cai, J Sun, G Dobbie International Conference on Formal Engineering Methods, 489-492, 2019 | 1 | 2019 |
| A Combination of Multi-state Activation Functions, Mean-normalisation and Singular Value Decomposition for learning Deep Neural Networks C Cai, D Ke, Y Xu, K Su 2015 International Joint Conference on Neural Networks (IJCNN), 1-8, 2015 | 1 | 2015 |
| Automatic refactoring of conditions and substitutions for B state transition models CH Cai, J Sun, G Dobbie Software: Practice and Experience, 2023 | | 2023 |
| Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring CH Cai, J Sun, G Dobbie, Z Hóu, H Bride, JS Dong, SUJ Lee Formal Aspects of Computing 34 (2), 1-31, 2022 | | 2022 |
| B model quality assessments on automated reachability repair with ISO/IEC 25010 CH Cai, J Sun, G Dobbie Science of Computer Programming 214, 102732, 2022 | | 2022 |
