Kaipeng Lin

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 3

Top Topics

Weakly Supervised

Unsupervised Feature Learning

Top Venues

Inf. Softw. Technol.

Publications

Wang Lin, Mi Ding, Kaipeng Lin, Zuohua Ding
Formal synthesis of neural Craig interpolant via counterexample guided deep learning. Inf. Softw. Technol. 163 (2023)
Mi Ding, Kaipeng Lin, Wang Lin, Zuohua Ding
A Novel Counterexample-Guided Inductive Synthesis Framework for Barrier Certificate Generation. ISSRE (2022)
Wang Lin, Mi Ding, Kaipeng Lin, Guoquan Mei, Zuohua Ding
Formal Synthesis of Neural Craig Interpolant via Counterexample Guided Deep Learning. DSA (2022)