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]
No references recorded for this publication.
No citations of this publication recorded.