Michael Norrish | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Josef Urban
55 publications
Cezary Kaliszyk
38 publications
Christian Walder
19 publications
Ramana Kumar
12 publications
Thibault Gauthier
12 publications
Amir Dezfouli
10 publications
Adrian Herrera
4 publications
Hendra Gunadi
2 publications
Minchao Wu
2 publications
Liam Hayes
1 publication
Jonathon Milford
1 publication

research

∙ 02/19/2021

TacticZero: Learning to Prove Theorems from Scratch with Deep Reinforcement Learning

We propose a novel approach to interactive theorem-proving (ITP) using d...

0 Minchao Wu, et al. ∙

research

∙ 05/30/2019

MoonLight: Effective Fuzzing with Near-Optimal Corpus Distillation

Mutation-based fuzzing typically uses an initial set of valid seed input...

0 Liam Hayes, et al. ∙

research

∙ 04/02/2018

Learning to Prove with Tactics

We implement a automated tactical prover TacticToe on top of the HOL4 in...

0 Thibault Gauthier, et al. ∙