Valency Hub
alphaFeedback

WorksComputer Science

ProCerDCL: Query-Efficient Black-Box Probabilistic Verification of Deep Learning Compiler Optimization

Zexin Li, Weibo Zhang, Linyi Li, Arvind Easwaran, Simin Chen

Published Fresh — added to the Hub within the last 30 daysv1

Publication details
License
arXiv nonexclusive license
Status
Published
AI contributions
Not recorded for this paper
View details
Ancillary data
1 code link
View

Versions

Each version keeps its own PDF, citation, and review record. Endorsements stay with the version they examined.

1 versionNewest first

  1. v1

    LatestRead version
    Viewing

Beginning of version history