Minchao Wu

13 papers A* 1B 1Misc 1Journal 9Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Multimodal-Driven Fusion Data Augmentation Framework for Emotion Recognition.
IEEE Trans. Artif. Intell.
Ao Li, Minchao Wu, Rui Ouyang, Yongming Wang, Fan Li, Zhao Lv
2025 J jnl
Cross-modal knowledge distillation for enhanced depression detection.
Complex Intell. Syst.
Huang Huang, Xinhui Li, Minchao Wu, Zhao Lv, Yong Peng
2025 Misc conf
EEG Correlation Analysis-guided Graph Local Enhanced Feature Learning For Emotion Recognition.
ICASSP
Xinhui Li, Guowang Zhuang, Minchao Wu, Zhao Lv
2024 J jnl
Research on Multimodal Emotion Recognition Based on Fusion of Electroencephalogram and Electrooculography.
IEEE Trans. Instrum. Meas.
Jialai Yin, Minchao Wu, Yan Yang, Ping Li, Fan Li, Wen Liang, Zhao Lv
2023 — conf
Neural Network-Guided Synthesis of Recursive List Functions.
TACAS (1)
Naoki Kobayashi, Minchao Wu
2022 J jnl
A Bi-Directional Extensible Interface Between Lean and Mathematica.
J. Autom. Reason.
Robert Y. Lewis, Minchao Wu
2022 J jnl
Estimating the Legacy Effect of Post-Cutting Shelterbelt on Crop Yield Using Google Earth and Sentinel-2 Data.
Remote. Sens.
Yage Liu, Huidong Li, Minchao Wu, Anzhi Wang, Jiabing Wu, Dexin Guan
2021 J jnl
A Comparative Experimental Study Between Instantaneous and Convolutional BSS Models for Saccadic EOG Signal Separation.
IEEE Trans. Instrum. Meas.
Wenhui Sun, Zhao Lv, Minchao Wu, Ning Bi, Shengli Zhang
2021 J jnl
A bi-directional extensible interface between Lean and Mathematica.
CoRR
Robert Y. Lewis, Minchao Wu
2021 A* conf
TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning.
NeurIPS
Minchao Wu, Michael Norrish, Christian Walder, Amir Dezfouli
2021 J jnl
TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning.
CoRR
Minchao Wu, Michael Norrish, Christian Walder, Amir Dezfouli
2021 J jnl
The novel entropy measurements of
J. Intell. Fuzzy Syst.
Minchao Wu, Junjun Mao, Ai-Ting Yao, Tao Wu
2019 B conf
Verified Decision Procedures for Modal Logics.
ITP
Minchao Wu, Rajeev Goré