Mark Chevallier

Publication Activity (10 Years)

Years Active: 2021-2022
Publications (10 Years): 3

Top Topics

Multi Layer Perceptron

Distributed Search

Theorem Proving

Top Venues

Publications

Mark Chevallier, Matthew Whyte, Jacques D. Fleuriot
Constrained Training of Neural Networks via Theorem Proving. CoRR (2022)
Mark Chevallier, Matthew Whyte, Jacques D. Fleuriot
Constrained Training of Neural Networks via Theorem Proving. OVERLAY@AI*IA (2022)
Mark Chevallier, Jacques D. Fleuriot
Formalising the Foundations of Discrete Reinforcement Learning in Isabelle/HOL. CoRR (2021)