Preprint
Aug 2026
T-LLM Compiler: Trusted LLM-based Code Optimization and Verification Framework
The Trusted LLM (T-LLM) Compiler is presented, which proposes an advancement in compiler technology through a collaborative effort involving high-level LLM code transformations, traditional compilers, and verification tools and facilitates iterative code optimization efforts with verification strategies that enable corrective actions.
Zahra Fazel, Sunanda Gamage, Shayan Shirahmad Gale Bagi et al.
· 0 citations