Följ
Mark Chevallier
Mark Chevallier
University of Edinburgh
Verifierad e-postadress på ed.ac.uk
Titel
Citeras av
Citeras av
År
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–3