LEVIS: Large Exact Verifiable Input Spaces for Neural Networks
ICML 2025
UT Austin ECE · Ph.D. student
Reliable learning systems for decisions under uncertainty.
My research develops risk-aware and verifiable learning methods, so that decisions under uncertainty can be made with explicit risk specifications and, where possible, testable guarantees. The work spans reinforcement learning, inference-time alignment of large language models, verification of neural networks, and applications to power-system operation and control.
I am a Ph.D. student in Electrical and Computer Engineering at The University of Texas at Austin, advised by Prof. Hao Zhu. I received my B.Eng. in ECE with a minor in Mathematics from the American University of Beirut, where I worked with Prof. Rabih Jabr and Prof. Sami Karaki, and I have interned at Los Alamos National Laboratory with Dr. Wenting Li, Dr. Brian Bell, and Dr. Russell Bent.
Research
Methods for learning decisions under uncertainty, distribution shift, and explicit risk specifications.
Stress testing, verification, and input-space construction for learned models used in constrained settings.
Fine-tuning and inference-time methods for language models that propose technical actions under constraints.
Power-system testbeds for studying learning, optimization, reliability, market participation, and control.
Research thesis
Reliable learning systems treat risk as a first-class learning objective and verifiability as a deployable property — not a post-hoc check — so that decisions under uncertainty can carry explicit guarantees in reliability-critical domains such as power-system operation.
Selected Publications
ICML 2025
ICML 2025
arXiv 2024
Recent activity