By Mizzou Engineering
Publication Date: 2026-05-19 18:14:00
May 18, 2026
Khaza Anuarul Hoque is innovating frameworks to deploy AI foundation models on edge devices while preserving mathematically verified behavioral guarantees.
Artificial intelligence (AI) is rapidly moving out of massive data centers and onto everyday devices — from smartphones and laptops to drones and autonomous vehicles.
But making that transition possible requires more than just shrinking today’s powerful models. It requires ensuring that, when they are compressed to run on limited hardware, they still behave the way we expect, especially in situations where safety is critical.
A new research effort led by Mizzou Engineering computer scientist Khaza Anuarul Hoque aims to do exactly that.
Hoque and his team are developing a framework designed to compress foundation models such as large language models (LLMs) and vision-language models (VLMs) to run on devices with limited processing power and energy while still providing formal, mathematical guarantees that key behaviors are preserved.
The project, which the researchers call VeriFAI, has drawn support from NVIDIA, which recently awarded the team 32,000 hours of GPU computing time to scale their…