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 | 5 | 2022 |
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 | 4 | 2023 |
CNN library in Imandra R Desmartin, G Passmore, E Kmendantskaya, ML Daggitt | 3 | 2022 |
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 | 2 | 2022 |
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 |