arXiv· Zexin Li·· 4 天前推荐指数44
ProCerDCL：面向深度学习编译器优化的查询高效黑盒概率验证框架
ProCerDCL: Query-Efficient Black-Box Probabilistic Verification of Deep Learning Compiler Optimization
AI 导读
ProCerDCL 提出一种查询高效的黑盒概率验证框架，通过单一序贯检验（修正精确二项置信区间或 anytime-valid 置信序列）判定属性违反概率 p 是否超过阈值 θ，给出接受、拒绝或不确定三值结论，并将各类错误判定概率控制在指定误差预算内。
来源：arXiv · arxiv.org