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]
@inproceedings{LinDLMD22,
title = {Formal Synthesis of Neural Craig Interpolant via Counterexample Guided Deep Learning},
author = {Wang Lin and Mi Ding and Kaipeng Lin and Guoquan Mei and Zuohua Ding},
year = {2022},
doi = {10.1109/DSA56465.2022.00023},
url = {https://doi.org/10.1109/DSA56465.2022.00023},
researchr = {https://researchr.org/publication/LinDLMD22},
cites = {0},
citedby = {0},
pages = {116-125},
booktitle = {9th International Conference on Dependable Systems and Their Applications, DSA 2022, Wulumuqi, China, August 4-5, 2022},
publisher = {IEEE},
isbn = {978-1-6654-8877-8},
}