Brief introduction

Hello! I’m Jiahao Xia, a sophomore at the University of Maryland. I write about my research journey, publish technical blogs, and share my work. (Updated by 2025/11/21)

Research Experience

May 2025 – Mar 2026
Focused on Scaling Probabilistic Logic Reasoning. Working with Souffle and Problog. Currently preparing two papers for submission to CAV2026. See my CV, repo for more details.

Research Interests

Artificial Intelligence
Formal Methods
Cognitive Science

Personal Interests

Creative novels, violin, traveling, metal and rock.