Wang Lin, Mi Ding, Kaipeng Lin, Guoquan Mei, Zuohua Ding. Formal Synthesis of Neural Craig Interpolant via Counterexample Guided Deep Learning. In 9th International Conference on Dependable Systems and Their Applications, DSA 2022, Wulumuqi, China, August 4-5, 2022. pages 116-125, IEEE, 2022. [doi]
Abstract is missing.