Verified Decision Procedures for Modal Logics. - Minchao Wu; Rajeev Goré (ITP, 2019)

TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning. - Minchao Wu; Michael Norrish; Christian Walder; Amir Dezfouli (NeurIPS, 2021)

The novel entropy measurements of Z+-numbers and their application on multi-attribute decision making problem. - Minchao Wu; Junjun Mao; Ai-Ting Yao; Tao Wu (J. Intell. Fuzzy Syst., 2021)

A Comparative Experimental Study Between Instantaneous and Convolutional BSS Models for Saccadic EOG Signal Separation. - Wenhui Sun; Zhao Lv; Minchao Wu; Ning Bi; Shengli Zhang (IEEE Trans. Instrum. Meas., 2021)

A Bi-Directional Extensible Interface Between Lean and Mathematica. - Robert Y. Lewis; Minchao Wu (J. Autom. Reason., 2022)

Estimating the Legacy Effect of Post-Cutting Shelterbelt on Crop Yield Using Google Earth and Sentinel-2 Data. - Yage Liu; Huidong Li; Minchao Wu; Anzhi Wang; Jiabing Wu; Dexin Guan (Remote. Sens., 2022)

Neural Network-Guided Synthesis of Recursive List Functions. - Naoki Kobayashi 001; Minchao Wu (TACAS (1), 2023)

Research on Multimodal Emotion Recognition Based on Fusion of Electroencephalogram and Electrooculography. - Jialai Yin; Minchao Wu; Yan Yang; Ping Li 020; Fan Li; Wen Liang; Zhao Lv (IEEE Trans. Instrum. Meas., 2024)

EEG Correlation Analysis-guided Graph Local Enhanced Feature Learning For Emotion Recognition. - Xinhui Li; Guowang Zhuang; Minchao Wu; Zhao Lv (ICASSP, 2025)

A Multimodal-Driven Fusion Data Augmentation Framework for Emotion Recognition. - Ao Li; Minchao Wu; Rui Ouyang; Yongming Wang; Fan Li; Zhao Lv (IEEE Trans. Artif. Intell., 2025)