Cheng-Hao Cai
Cited by
Cited by
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
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
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
Automatic B-model repair using model checking and machine learning
CH Cai, J Sun, G Dobbie
Automated Software Engineering 26 (3), 653-704, 2019
N-PAT: A Nested Model-Checker
JMC Hadrien Bride, Cheng-Hao Cai, Jin Song Dong, Rajeev Gore, Zhé Hóu ...
IJCAR 2020: International Joint Conference on Automated Reasoning, 369-377, 2020
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
B-Repair: Repairing B-Models Using Machine Learning
CH Cai, J Sun, G Dobbie
2018 23rd International Conference on Engineering of Complex Computer …, 2018
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
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
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
SLDR-DL: A Framework for SLD-Resolution with Deep Learning
CH Cai
arXiv preprint arXiv:1705.02210, 2017
Design Model Repair with Formal Verification
CH Cai, J Sun, G Dobbie
International Conference on Formal Engineering Methods, 489-492, 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
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
Explaining the Attention Mechanism of End-to-End Speech Recognition Using Decision Trees
Y Wang, W Du, C Cai, Y Xu
arXiv preprint arXiv:2110.03879, 2021
An Empirical Study on End-to-End Singing Voice Synthesis with Encoder-Decoder Architectures
D Ke, Y Lu, X Liu, Y Xu, J Sun, CH Cai
arXiv preprint arXiv:2108.03008, 2021
Trainable back-propagated functional transfer matrices
CH Cai, Y Xu, D Ke, K Su, J Sun
Applied Intelligence 49 (2), 376-395, 2019
The Application of Reformation to Repair Faulty Analogical Blends
CH Cai
MSc Dissertation, University of Edinburgh, 2016
The system can't perform the operation now. Try again later.
Articles 1–18