Mark Chevallier

According to our database, Mark Chevallier authored at least 2 papers between 2021 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2022

Constrained Training of Neural Networks via Theorem Proving.

Mark Chevallier, Matthew Whyte, Jacques D. Fleuriot

Proceedings of the Short Paper Proceedings of the 4th Workshop on Artificial Intelligence and Formal Verification, 2022

2021

Formalising the Foundations of Discrete Reinforcement Learning in Isabelle/HOL.

Mark Chevallier, Jacques D. Fleuriot

CoRR, 2021