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

arXiv:2610.36499v1 Announce Type: cross Abstract: We present \tool, a query-efficient framework for black-box probabilistic verification. Given a fixed, sampleable input distribution and a binary property oracle, \tool assesses the property's violation probabi