| Towards a certified proof checker for deep neural network verification R Desmartin, O Isac, G Passmore, K Stark, E Komendantskaya, G Katz International Symposium on Logic-Based Program Synthesis and Transformation …, 2023 | 11 | 2023 |
| Neural networks in imandra: matrix representation as a verification choice R Desmartin, G Passmore, E Kommendentskaya International Workshop on Numerical Software Verification, 78-95, 2022 | 8 | 2022 |
| A certified proof checker for deep neural network verification in imandra R Desmartin, O Isac, G Passmore, E Komendantskaya, K Stark, G Katz arXiv preprint arXiv:2405.10611, 2024 | 7 | 2024 |
| Checkinn: Wide range neural network verification in imandra R Desmartin, G Passmore, E Komendantskaya, M Daggit Proceedings of the 24th International Symposium on Principles and Practice …, 2022 | 6 | 2022 |
| CNN library in Imandra R Desmartin, G Passmore, E Komendantskaya, ML Daggitt | 3 | 2022 |
| A Certified Proof Checker for Deep Neural Network Verification R Desmartin, O Isac, E Komendantskaya, K Stark, GO Passmore, G Katz CoRR, 2024 | 1 | 2024 |
| CheckINN: Wide Range Neural Network Verification in Imandra (Extended) R Desmartin, G Passmore, E Komendantskaya, M Daggitt arXiv preprint arXiv:2207.10562, 2022 | 1 | 2022 |
| Formalising Criminal Law in Catala L ARNABOLDI, D ASPINALL, R BOGANI, B SCHAFER, J PROTZENKO, ... | | 2018 |
