Invited talks at UC Irvine Informatics, Fudan University EDA AI & Math Seminar, and Tsinghua HCI Seminar