Xuankang Lin

Publication Activity (10 Years)

Years Active: 2019-2020
Publications (10 Years): 2

Top Topics

Provably Correct

Error Estimates

Feedforward Neural Networks

Training Samples

Top Venues

Publications

Xuankang Lin, He Zhu, Roopsha Samanta, Suresh Jagannathan
Art: Abstraction Refinement-Guided Training for Provably Correct Neural Networks. FMCAD (2020)
Xuankang Lin, He Zhu, Roopsha Samanta, Suresh Jagannathan
ART: Abstraction Refinement-Guided Training for Provably Correct Neural Networks. CoRR (2019)