@misc{indiciae1771e339e9d3,
  title = {ProCerDCL: Query-Efficient Black-Box Probabilistic Verification of Deep Learning Compiler Optimization},
  author = {Zexin Li and Weibo Zhang and Linyi Li and Arvind Easwaran and Simin Chen},
  year = {2026},
  url = {https://arxiv.org/abs/2610.36499},
  note = {Source identifier: 2610.36499}
}