@misc{indiciaed61d7caa4114,
  title = {Pattern Matching in AI Compilers and its Formalization (Extended Version)},
  author = {Joseph W. Cutler and Alex Collins and Bin Fan and Mahesh Ravishankar and Vinod Grover},
  year = {2024},
  url = {https://arxiv.org/abs/2412.13398},
  note = {Source identifier: 2412.13398}
}