Norrish, Michael

4 publications

NeurIPS 2025 3D-Prover: Diversity Driven Theorem Proving with Determinantal Point Processes Sean Lamont, Christian Walder, Amir Dezfouli, Paul Montague, Michael Norrish

AAAI 2024 BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving Sean Lamont, Michael Norrish, Amir Dezfouli, Christian Walder, Paul Montague

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

IJCAI 2015 Exploiting Symmetries by Planning for a Descriptive Quotient Mohammad Abdulaziz, Michael Norrish, Charles Gretton