Yuke Liao

According to our database, Yuke Liao authored at least 1 paper in 2025.

Collaborative distances:

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

2025

Solution-Aware Vs Global ReLU Selection: Partial MILP Strikes Back for DNN Verification.

Yuke Liao, Blaise Genest, Kuldeep S. Meel, Shaan Aryaman

Proceedings of the Automated Technology for Verification and Analysis, 2025