TY  - RPRT
TI  - Tensor Algebraic Property Skeletons: Amplifying Property-Based Testing for AI Compilers
AU  - Yuxin Qiu
AU  - Ben Limpanukorn
AU  - Seongmin Lee
AU  - Jiyuan Wang
AU  - Qian Zhang
AU  - Miryung Kim
PY  - 2026
UR  - https://arxiv.org/abs/2606.06747
ID  - 2606.06747
ER  -