| Tacticzero: Learning to prove theorems from scratch with deep reinforcement learning M Wu, M Norrish, C Walder, A Dezfouli Advances in Neural Information Processing Systems 34, 2021 | 62 | 2021 |
| Semi-Supervised Partial Label Learning via Confidence-Rated Margin Maximization WWML Zhang | 40 | 2020 |
| Verified decision procedures for modal logics M Wu, R Goré 10th International Conference on Interactive Theorem Proving (ITP 2019), 31 …, 2019 | 12 | 2019 |
| A bi-directional extensible interface between Lean and Mathematica RY Lewis, M Wu Journal of Automated Reasoning 66 (2), 215-238, 2022 | 10 | 2022 |
| Reinforcement learning for interactive theorem proving in HOL4 M Wu, M Norrish, C Walder, A Dezfouli 5th Conference on Artificial Intelligence and Theorem Proving, 2020 | 4 | 2020 |
| Neural network-guided synthesis of recursive list functions N Kobayashi, M Wu International Conference on Tools and Algorithms for the Construction and …, 2023 | 3 | 2023 |
| Learning Heuristics for Template-based CEGIS of Loop Invariants with Reinforcement Learning M Wu, T Tsukada, H Unno, T Sekiyama, K Suenaga arXiv preprint arXiv:2107.09766, 2021 | 1 | 2021 |
| Learning Systems for Interactive Theorem Proving M Wu | | 2023 |
| Latent Action Space for Efficient Planning in Theorem Proving M Wu, Y Wu | | 2021 |
| 10th International Conference on Interactive Theorem Proving (ITP 2019) J Andronick, K Buzzard, M Dixon, M Abdulaziz, C Gretton, M Norrish, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2019 | | 2019 |
| Learning Simple Interpolants for Linear Integer Arithmetic M Wu, N Kobayashi The Thirty-ninth Annual Conference on Neural Information Processing Systems, 0 | | |
Christian WalderGoogle DeepMindVerified email at google.com
