Kaipeng Lin

According to our database, Kaipeng Lin authored at least 3 papers between 2022 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Formal synthesis of neural Craig interpolant via counterexample guided deep learning.

Wang Lin, Mi Ding, Kaipeng Lin, Zuohua Ding

Inf. Softw. Technol., November, 2023

2022

A Novel Counterexample-Guided Inductive Synthesis Framework for Barrier Certificate Generation.

Mi Ding, Kaipeng Lin, Wang Lin, Zuohua Ding

Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022

Formal Synthesis of Neural Craig Interpolant via Counterexample Guided Deep Learning.

Wang Lin, Mi Ding, Kaipeng Lin, Guoquan Mei, Zuohua Ding

Proceedings of the 9th International Conference on Dependable Systems and Their Applications, 2022