@misc{indiciae7224af222dfa,
  title = {Tensor Algebraic Property Skeletons: Amplifying Property-Based Testing for AI Compilers},
  author = {Yuxin Qiu and Ben Limpanukorn and Seongmin Lee and Jiyuan Wang and Qian Zhang and Miryung Kim},
  year = {2026},
  url = {https://arxiv.org/abs/2606.06747},
  note = {Source identifier: 2606.06747}
}