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
132017
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
112018
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
92018
Automatic B-model repair using model checking and machine learning
CH Cai, J Sun, G Dobbie
Automated Software Engineering 26 (3), 653-704, 2019
72019
B-Repair: Repairing B-Models Using Machine Learning
CH Cai, J Sun, G Dobbie
2018 23rd International Conference on Engineering of Complex Computer…, 2018
52018
Fast learning of deep neural networks via singular value decomposition
C Cai, D Ke, Y Xu, K Su
Pacific Rim International Conference on Artificial Intelligence, 820-826, 2014
52014
N-PAT: A Nested Model-Checker
JMC Hadrien Bride, Cheng-Hao Cai, Jin Song Dong, Rajeev Gore, Zh Hu ...
IJCAR 2020: International Joint Conference on Automated Reasoning, 369-377, 2020
2*2020
Measuring the quality of B abstract machines with ISO/IEC 25010
CH Cai, J Sun, G Dobbie
arXiv preprint arXiv:2003.02619, 2020
22020
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
22019
SLDR-DL: A Framework for SLD-Resolution with Deep Learning
CH Cai
arXiv preprint arXiv:1705.02210, 2017
22017
Silas: A High-Performance Machine Learning Foundation for Logical Reasoning and Verification
H Bride, CH Cai, J Dong, JS Dong, Z Hu, S Mirjalili, J Sun
Expert Systems with Applications, 114806, 2021
12021
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
Trainable back-propagated functional transfer matrices
CH Cai, Y Xu, D Ke, K Su, J Sun
Applied Intelligence 49 (2), 376-395, 2019
2019
The Application of Reformation to Repair Faulty Analogical Blends
CH Cai
MSc Dissertation, University of Edinburgh, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–15