Cheng-Hao Cai

13 papers B 1Journal 10Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
MP: motion program synthesis with machine learning interpretability and knowledge graph analogy.
Autom. Softw. Eng.
Cheng-Hao Cai
2025 J jnl
The automation of design model repair.
Sci. Comput. Program.
Cheng-Hao Cai, Jing Sun, Gillian Dobbie
2024 B conf
Code Generation Using Self-Interactive Assistant.
COMPSAC
Zixiao Zhao, Jing Sun, Cheng-Hao Cai, Zhiyuan Wei
2024 J jnl
VisionCoder: Empowering Multi-Agent Auto-Programming for Image Processing with Hybrid LLMs.
CoRR
Zixiao Zhao, Jing Sun, Zhiyuan Wei, Cheng-Hao Cai, Zhe Hou, Jin Song Dong
2023 J jnl
Automatic refactoring of conditions and substitutions for B state transition models.
Softw. Pract. Exp.
Cheng-Hao Cai, Jing Sun, Gillian Dobbie
2022 J jnl
B model quality assessments on automated reachability repair with ISO/IEC 25010.
Sci. Comput. Program.
Cheng-Hao Cai, Jing Sun, Gillian Dobbie
2022 J jnl
Fast Automated Abstract Machine Repair Using Simultaneous Modifications and Refactoring.
Formal Aspects Comput.
Cheng-Hao Cai, Jing Sun, Gillian Dobbie, Zhé Hóu, Hadrien Bride, Jin Song Dong, Scott Uk-Jin Lee
2022 — conf
Repairing Numerical Equations in Analogically Blended Theories Using Reformation.
HLC
Cheng-Hao Cai, Alan Bundy
2021 J jnl
Silas: A high-performance machine learning foundation for logical reasoning and verification.
Expert Syst. Appl.
Hadrien Bride, Cheng-Hao Cai, Jie Dong, Jin Song Dong, Zhé Hóu, Seyedali Mirjalili, Jing Sun
2020 — conf
N-PAT: A Nested Model-Checker - (System Description).
IJCAR (2)
Hadrien Bride, Cheng-Hao Cai, Jin Song Dong, Rajeev Goré, Zhé Hóu, Brendan P. Mahony, Jim McCarthy
2020 J jnl
N-PAT: A Nested Model-Checker.
CoRR
Hadrien Bride, Cheng-Hao Cai, Jin Song Dong, Rajeev Goré, Zhé Hóu, Brendan P. Mahony, Jim McCarthy
2018 J jnl
Audio-only Bird Species Automated Identification Method with Limited Training Data Based on Multi-Channel Deep Convolutional Neural Networks.
CoRR
Jiang-jian Xie, Chang-qing Ding, Wenbin Li, Cheng-Hao Cai
2017 J jnl
SLDR-DL: A Framework for SLD-Resolution with Deep Learning.
CoRR
Cheng-Hao Cai