LLM-Vectorizer: LLM-Based Verified Loop Vectorizer.

Jubi Taneja, Avery Laird, Cong Yan, Madan Musuvathi, Shuvendu K. Lahiri

Browse the full CGO paper archive.