T-LLM Compiler: Trusted LLM-based Code Optimization and Verification Framework

Zahra Fazel, Sunanda Gamage, Shayan Shirahmad Gale Bagi +5

Recent advances in Large Language Models (LLMs) have opened opportunities to apply high-level code transformations to the field of code optimization, and it has since emerged as on…