Prove inequalities by solving maximum/minimum problems using a computer algebra system. - Michael Xue (ACM Commun. Comput. Algebra, 2015)

Speech Emotion Recognition with Dual-Sequence LSTM Architecture. - Jianyou Wang; Michael Xue; Ryan Culhane; Enmao Diao; Jie Ding 002; Vahid Tarokh (ICASSP, 2020)