Formal Synthesis of Neural Craig Interpolant via Counterexample Guided Deep Learning - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Wang Lin' in GoogleThis author has not been identified. Look up 'Mi Ding' in GoogleThis author has not been identified. Look up 'Kaipeng Lin' in GoogleThis author has not been identified. Look up 'Guoquan Mei' in GoogleThis author has not been identified. Look up 'Zuohua Ding' in Google

runs on WebDSL