Minchao Wu

1. TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning
   2021/02/19 by Minchao Wu, Wu, Minchao, Michael Norrish +5 · 3 citations
   Computer Science · #Logic, programming, and type systems #Artificial Intelligence in Games #Reinforcement Learning in Robotics
2. A bi-directional extensible interface between Lean and Mathematica
   2021/01/17 by Robert Y. Lewis, Lewis, Robert Y., Minchao Wu +1 · 2 citations
   Business, Management and Accounting · Computer Science · #Business Process Modeling and Analysis #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Mathematical Software (cs.MS) #Model-Driven Software Engineering Techniques