Minchao Wu

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 10

Top Topics

Reinforcement Learning

Decision Procedures

Quantified Boolean Formulas

Top Venues

IEEE Trans. Instrum. Meas.

Publications

Jialai Yin, Minchao Wu, Yan Yang, Ping Li, Fan Li, Wen Liang, Zhao Lv
Research on Multimodal Emotion Recognition Based on Fusion of Electroencephalogram and Electrooculography. IEEE Trans. Instrum. Meas. 73 (2024)
Naoki Kobayashi, Minchao Wu
Neural Network-Guided Synthesis of Recursive List Functions. TACAS (1) (2023)
Yage Liu, Huidong Li, Minchao Wu, Anzhi Wang, Jiabing Wu, Dexin Guan
Estimating the Legacy Effect of Post-Cutting Shelterbelt on Crop Yield Using Google Earth and Sentinel-2 Data. Remote. Sens. 14 (19) (2022)
Robert Y. Lewis, Minchao Wu
A Bi-Directional Extensible Interface Between Lean and Mathematica. J. Autom. Reason. 66 (2) (2022)
Minchao Wu, Michael Norrish, Christian Walder, Amir Dezfouli
TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning. CoRR (2021)
Wenhui Sun, Zhao Lv, Minchao Wu, Ning Bi, Shengli Zhang
A Comparative Experimental Study Between Instantaneous and Convolutional BSS Models for Saccadic EOG Signal Separation. IEEE Trans. Instrum. Meas. 70 (2021)
Minchao Wu, Michael Norrish, Christian Walder, Amir Dezfouli
TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning. NeurIPS (2021)
Minchao Wu, Junjun Mao, Ai-Ting Yao, Tao Wu
-numbers and their application on multi-attribute decision making problem. J. Intell. Fuzzy Syst. 40 (1) (2021)
Robert Y. Lewis, Minchao Wu
A bi-directional extensible interface between Lean and Mathematica. CoRR (2021)
Minchao Wu, Rajeev Goré
Verified Decision Procedures for Modal Logics. ITP (2019)