TY  - RPRT
TI  - LLM-Vectorizer: LLM-based Verified Loop Vectorizer
AU  - Jubi Taneja
AU  - Avery Laird
AU  - Cong Yan
AU  - Madan Musuvathi
AU  - Shuvendu K. Lahiri
PY  - 2024
UR  - https://arxiv.org/abs/2406.04693
ID  - 2406.04693
ER  -