Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Remi Desmartin
conf.researchr.org general profile
POPL 2023 profile
SPLASH 2023 profile
Registered user since Thu 26 Oct 2023
Name:
Remi Desmartin
Affiliation:
Heriot-Watt University
Contributions
2023
LOPSTR
Author of Towards a Certified Proof Checker for Deep Neural Network Verification within the LOPSTR 2023-track
ProLaLa
Author of Formalising Criminal Law in Catala within the ProLaLa 2023-track
Share
x
Thu 21 Nov 12:52