TY  - RPRT
TI  - Verification of Compiler-to-Accelerator Mappings for Machine Learning Accelerators
AU  - Akash Gaonkar
AU  - Mike He
AU  - Yi Li
AU  - Bo-Yuan Huang
AU  - Andrew Cheung
AU  - Vishal Canumalla
AU  - Gus Henry Smith
AU  - Zachary Tatlock
AU  - Grigory Fedyukovich
AU  - Sharad Malik
AU  - Aarti Gupta
PY  - 2026
UR  - https://arxiv.org/abs/2609.30651
ID  - 2609.30651
ER  -