Xuankang Lin

According to our database, Xuankang Lin authored at least 1 paper in 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Art: Abstraction Refinement-Guided Training for Provably Correct Neural Networks.

Xuankang Lin, He Zhu, Roopsha Samanta, Suresh Jagannathan

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020