Mark Chevallier | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Jacques Fleuriot
10 publications
Jacques D Fleuriot
6 publications
Matthew Whyte
2 publications

research

∙ 07/08/2022

Constrained Training of Neural Networks via Theorem Proving

We introduce a theorem proving approach to the specification and generat...

6 Mark Chevallier, et al. ∙

research

∙ 12/11/2021

Formalising the Foundations of Discrete Reinforcement Learning in Isabelle/HOL

We present a formalisation of finite Markov decision processes with rewa...

0 Mark Chevallier, et al. ∙