Michael Norrish

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. Corpus Distillation for Effective Fuzzing: A Comparative Evaluation
   2019/05/30 by Adrian Herrera, Herrera, Adrian, Hendra Gunadi +13 · 2 citations
   Computer Science · #Software Testing and Debugging Techniques #Advanced Malware Detection Techniques #Software Engineering Research
3. A mechanisation of some context-free language theory in HOL4
   2013/05/23 by Aditi Barthwal, Michael Norrish · 2 citations
   Computer Science · #semigroups and automata theory #Logic, programming, and type systems #Formal Methods in Verification