C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Minchao Wu
ORCID
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 9
Top Topics
Decision Procedures
Hybrid Neural Network
Reinforcement Learning
Modal Logic
Top Venues
CoRR
ITP
Remote. Sens.
IEEE Trans. Instrum. Meas.
</>
Publications
</>
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)