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, Zuohua Ding. Formal synthesis of neural Craig interpolant via counterexample guided deep learning. Information \& Software Technology, 163:107298, November 2023. [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 'Zuohua Ding' in Google

runs on WebDSL