Cheng-Hao Cai

According to our database, Cheng-Hao Cai authored at least 9 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Automatic refactoring of conditions and substitutions for B state transition models.

Cheng-Hao Cai, Jing Sun, Gillian Dobbie

Softw. Pract. Exp., November, 2023

2022

B model quality assessments on automated reachability repair with ISO/IEC 25010.

Cheng-Hao Cai, Jing Sun, Gillian Dobbie

Sci. Comput. Program., 2022

Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring.

Cheng-Hao Cai, Jing Sun, Gillian Dobbie, Zhé Hóu, Hadrien Bride, Jin Song Dong, Scott Uk-Jin Lee

Formal Aspects Comput., 2022

Repairing Numerical Equations in Analogically Blended Theories Using Reformation.

Cheng-Hao Cai, Alan Bundy

Proceedings of the 3rd Human-Like Computing Workshop (HLC 2022) co-located with the 2nd International Joint Conference on Learning and Reasoning (IJCLR 2022), 2022

2021

Silas: A high-performance machine learning foundation for logical reasoning and verification.

Hadrien Bride, Cheng-Hao Cai, Jie Dong, Jin Song Dong, Zhé Hóu, Seyedali Mirjalili, Jing Sun

Expert Syst. Appl., 2021

2020

N-PAT: A Nested Model-Checker.

Hadrien Bride, Cheng-Hao Cai, Jin Song Dong, Rajeev Goré, Zhé Hóu, Brendan P. Mahony, Jim McCarthy

CoRR, 2020

N-PAT: A Nested Model-Checker - (System Description).

Hadrien Bride, Cheng-Hao Cai, Jin Song Dong, Rajeev Goré, Zhé Hóu, Brendan P. Mahony, Jim McCarthy

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2018

Audio-only Bird Species Automated Identification Method with Limited Training Data Based on Multi-Channel Deep Convolutional Neural Networks.

Jiang-jian Xie, Chang-qing Ding, Wen-bin Li, Cheng-Hao Cai

CoRR, 2018

2017

SLDR-DL: A Framework for SLD-Resolution with Deep Learning.

Cheng-Hao Cai

CoRR, 2017