1 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.AI2022★ 1 cited
Constrained Training of Neural Networks via Theorem Proving
Mark Chevallier, Matthew Whyte, Jacques D. Fleuriot
We introduce a theorem proving approach to the specification and generation of temporal logical constraints for training neural networks. We formalise a deep embedding of linear te…
cs.LO2021★ 1 cited
Formalising the Foundations of Discrete Reinforcement Learning in Isabelle/HOL
Mark Chevallier, Jacques Fleuriot
We present a formalisation of finite Markov decision processes with rewards in the Isabelle theorem prover. We focus on the foundations required for dynamic programming and the use…