52 citations · 194 across the 34 of their papers we have counts for
4 papers · 1 filter
TOGGLE: Temporal Logic-Guided Large Language Model Compression for Edge
Khurram Khalil, Khaza Anuarul Hoque
Large Language Models (LLMs) deliver exceptional performance across natural language tasks but demand substantial computational resources, limiting their deployment on resource-con…
RIFT: A Scalable Methodology for LLM Accelerator Fault Assessment using Reinforcement Learning
Khurram Khalil, Muhammad Mahad Khaliq, Khaza Anuarul Hoque
The massive scale of modern AI accelerators presents critical challenges to traditional fault assessment methodologies, which face prohibitive computational costs and provide poor…
Hyperproperty-Constrained Secure Reinforcement Learning
Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque
Hyperproperties for Time Window Temporal Logic (HyperTWTL) is a domain-specific formal specification language known for its effectiveness in compactly representing security, opacit…
ApproXAI: Energy-Efficient Hardware Acceleration of Explainable AI using Approximate Computing
Ayesha Siddique, Khurram Khalil, Khaza Anuarul Hoque
Explainable artificial intelligence (XAI) enhances AI system transparency by framing interpretability as an optimization problem. However, this approach often necessitates numerous…