Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Bohua Zhan

NIL: Learning Nonlinear Interpolants

May 28, 2019
Mingshuai Chen, Jian Wang, Jie An, Bohua Zhan, Deepak Kapur, Naijun Zhan

* Full version of the paper in CADE-27 

  Access Paper or Ask Questions