Brief introduction
Hello! I’m Jiahao Xia, a rising junior at the University of Maryland. (Updated by 2026/5)
Research Experience
May 2025 – Present
Focused on Scaling Probabilistic Logic Reasoning. Working with Souffle and Problog.
Research Interests
- ML Systems and ML Compilers
- Compiler Optimization and Program Analysis
- Formal Methods and Verification