Formal Synthesis of Neural Craig Interpolant via Counterexample Guided Deep Learning. - Wang Lin; Mi Ding; Kaipeng Lin; Guoquan Mei; Zuohua Ding (DSA, 2022)

A Novel Counterexample-Guided Inductive Synthesis Framework for Barrier Certificate Generation. - Mi Ding; Kaipeng Lin; Wang Lin; Zuohua Ding (ISSRE, 2022)

Formal synthesis of neural Craig interpolant via counterexample guided deep learning. - Wang Lin; Mi Ding; Kaipeng Lin; Zuohua Ding (Inf. Softw. Technol., 2023)