Jekyll2026-10-26T22:27:38+01:00https://misfit5.github.io/feed.xmlPhD student at ANTIQUE, ENS-PSL / Inria / CNRS. Theoretical machine learning, explainable AI, and formal methods.Heyuan LIUheyuan.liu@polytechnique.edu