Follow
Cheng-Hao Cai
Title
Cited by
Cited by
Year
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
162017
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
142021
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
142018
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
132018
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
132015
Automatic B-model repair using model checking and machine learning
CH Cai, J Sun, G Dobbie
Automated Software Engineering 26 (3), 653-704, 2019
112019
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
112014
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
72020
B-Repair: Repairing B-Models Using Machine Learning
CH Cai, J Sun, G Dobbie
2018 23rd International Conference on Engineering of Complex Computerá…, 2018
62018
Repairing numerical equations in analogically blended theories using reformation
CH Cai, A Bundy
Proceedings of HLC, 2022
32022
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
32019
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
22020
SLDR-DL: A Framework for SLD-Resolution with Deep Learning
CH Cai
arXiv preprint arXiv:1705.02210, 2017
22017
The Application of Reformation to Repair Faulty Analogical Blends
CH Cai
MSc Dissertation, University of Edinburgh, 2016
22016
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
12023
Design model repair with formal verification
CH Cai, J Sun, G Dobbie
International Conference on Formal Engineering Methods, 489-492, 2019
12019
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
12015
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
The system can't perform the operation now. Try again later.
Articles 1–20