Wu, Minchao

2 publications

NeurIPS 2025 Learning Simple Interpolants for Linear Integer Arithmetic Minchao Wu, Naoki Kobayashi

NeurIPS 2021 TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning Minchao Wu, Michael Norrish, Christian Walder, Amir Dezfouli