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