TY  - RPRT
TI  - Pattern Matching in AI Compilers and its Formalization (Extended Version)
AU  - Joseph W. Cutler
AU  - Alex Collins
AU  - Bin Fan
AU  - Mahesh Ravishankar
AU  - Vinod Grover
PY  - 2024
UR  - https://arxiv.org/abs/2412.13398
ID  - 2412.13398
ER  -