3 citations · 3 across the 1 of their papers we have counts for
2 papers
cs.CV2022★ 3 cited
Geo-SIC: Learning Deformable Geometric Shapes in Deep Image Classifiers
Jian Wang, Miaomiao Zhang
Deformable shapes provide important and complex geometric features of objects presented in images. However, such information is oftentimes missing or underutilized as implicit know…
cs.LO2019
NIL: Learning Nonlinear Interpolants
Mingshuai Chen, Jian Wang, Jie An +3
Nonlinear interpolants have been shown useful for the verification of programs and hybrid systems in contexts of theorem proving, model checking, abstract interpretation, etc. The…