LL
Linyi Li
On Valency
published · living versionsW_pj9hqsg9·v1 · currentpublished
ProCerDCL: Query-Efficient Black-Box Probabilistic Verification of Deep Learning Compiler Optimization
with Zexin Li, Weibo Zhang, Arvind Easwaran, Simin Chen
1 version
Preprints & journals
We couldn't confidently link this author to their published research yet.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.