Dahai Yu
Ph.D. Student in Computer Science, Florida State University. Advised by Prof. Guang Wang.
I am a Computer Science Ph.D. student at Florida State University, advised by Prof. Guang Wang. Before coming to FSU, I received my B.S. in Big Data Management and Application from the Department of Information Management, Peking University, where I worked with Prof. Bolin Hua on text mining for scientific literature.
My research builds trustworthy machine learning systems for the physical world. Concretely, I work on uncertainty quantification for spatiotemporal prediction, generative models for mobility and energy data, and decision-making pipelines that stay reliable when the downstream stakes are high — energy demand, healthcare access, and post-disaster power restoration.
Recurring threads in my work:
- Uncertainty-aware spatiotemporal prediction. Graph neural networks and selective state space models that report calibrated uncertainty alongside their point predictions (UQGNN, TrustEnergy, HealthMamba, EnergyMamba).
- Generative models for urban and energy data. Diffusion models that synthesize or repair mobility traces, human activity, and utility readings when real data is scarce, private, or incomplete (SynHAT, MobiDiff, MBDiff, SynEnergy, E4GEN).
- Uncertainty quantification for LLM reasoning. Estimating when a fluent reasoning trace should be trusted, using answer re-elicitation and symbolic verification (TrAC, SymboUQ).
- From prediction to decisions. Predict-then-optimize pipelines where the uncertainty estimate actually changes the allocation — e.g. equitable post-disaster power restoration.
My work has appeared at AAAI, IJCAI, ACM SIGKDD, ACM SIGSPATIAL, and ACM IMWUT (UbiComp), and I received the Dean’s Award for Doctoral Excellence from Florida State University in 2026, and the Challenge Cup Second Prize and a Third Prize Scholarship at Peking University. I am always happy to talk about spatiotemporal foundation models, calibration, or urban data — feel free to reach out.
News
| Aug 08, 2026 | EnergyMamba appears in the ACM SIGKDD 2026 proceedings, and HealthMamba is accepted to IJCAI 2026. |
|---|---|
| Aug 04, 2026 | Three new preprints on arXiv: TrAC and SymboUQ, two frameworks for quantifying the uncertainty of LLM reasoning traces, and SynEnergy, anomaly semantic-guided diffusion for synthetic energy data generation. |
| Jul 31, 2026 | New preprints out: MobiDiff (semantic-aware multi-channel discrete diffusion for human mobility generation) and MBDiff (probabilistic utility data imputation). |
| Jun 01, 2026 | EnergyMamba and E4GEN are on arXiv — an uncertainty-aware state space model for energy consumption prediction, and event-level explainable time-series generation. |
| Apr 01, 2026 | SynHAT is accepted to ACM IMWUT / UbiComp 2026 — a two-stage coarse-to-fine diffusion framework for synthesizing human activity traces. |