Follow
Mark Chevallier
Title
Cited by
Cited by
Year
A comparison of deep learning and citizen science techniques for counting wildlife in aerial survey images
CJ Torney, DJ Lloyd‐Jones, M Chevallier, DC Moyer, HT Maliti, M Mwita, ...
Methods in Ecology and Evolution 10 (6), 779-787, 2019
962019
Formalising the Foundations of Discrete Reinforcement Learning in Isabelle/HOL
M Chevallier, J Fleuriot
arXiv preprint arXiv:2112.05996, 2021
32021
Constrained Training of Neural Networks via Theorem Proving
M Chevallier, M Whyte, JD Fleuriot
arXiv preprint arXiv:2207.03880, 2022
12022
The system can't perform the operation now. Try again later.
Articles 1–3