Minchao Wu | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Christian Walder
19 publications
Amir Dezfouli
10 publications
Robert Y. Lewis
9 publications
Michael Norrish
3 publications

research

∙ 02/19/2021

TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning

We propose a novel approach to interactive theorem-proving (ITP) using d...

0 Minchao Wu, et al. ∙

research

∙ 01/17/2021

A bi-directional extensible interface between Lean and Mathematica

We implement a user-extensible ad hoc connection between the Lean proof ...

0 Robert Y. Lewis, et al. ∙