arXiv cs.SE· Zexin Li, Weibo Zhang, Linyi Li, Arvind Easwaran, Simin Chen·· 3 小时前AI 评分26
ProCerDCL：深度学习编译器优化的查询高效黑盒概率验证
ProCerDCL: Query-Efficient Black-Box Probabilistic Verification of Deep Learning Compiler Optimization
AI 导读
ProCerDCL 是一个查询高效的黑盒概率验证框架，在独立采样与无状态 oracle 假设下，通过单次序贯检验给出接受、拒绝或不确定的三值判定，每类错误概率受指定误差预算约束。
来源：arXiv cs.SE · arxiv.org