Deepak Kapur

Publications with FICTION

Conference Papers

1. Mingshuai Chen, Jian Wang, Jie An, Bohua Zhan, Deepak Kapur, Naijun Zhan (2019). NIL: Learning Nonlinear Interpolants. In CADE 2019. PDF Cite Code Slides DOI
2. Ting Gan, Liyun Dai, Bican Xia, Naijun Zhan, Deepak Kapur, Mingshuai Chen (2016). Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF. In IJCAR 2016. PDF Cite Code Slides DOI