Cheng-Hao Cai
Cited by
Cited by
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
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
Automatic B-model repair using model checking and machine learning
CH Cai, J Sun, G Dobbie
Automated Software Engineering 26 (3), 653-704, 2019
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
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
Measuring the quality of B abstract machines with ISO/IEC 25010
CH Cai, J Sun, G Dobbie
arXiv preprint arXiv:2003.02619, 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
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
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
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–15