Volgen
Mark Chevallier
Mark Chevallier
University of Edinburgh
Geverifieerd e-mailadres voor ed.ac.uk
Titel
Geciteerd door
Geciteerd door
Jaar
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–3