Collaborated with:M.Chen J.An B.Zhan D.Kapur N.Zhan
Talks about:nonlinear (1) interpol (1) learn (1) nil (1)
Person: Jian Wang 0042
DBLP: 0042:Jian_Wang
Contributed to:
2019Wrote 1 papers:
- CADE-2019-ChenWAZKZ #learning #named
- NIL: Learning Nonlinear Interpolants (MC, JW0, JA, BZ, DK, NZ), pp. 178–196.