| Foundational proof certificates in first-order logic Z Chihani, D Miller, F Renaud Automated Deduction–CADE-24: 24th International Conference on Automated …, 2013 | 42 | 2013 |
| A semantic framework for proof evidence Z Chihani, D Miller, F Renaud Journal of Automated Reasoning 59, 287-330, 2017 | 35 | 2017 |
| Real behavior of floating point numbers B Marre, F Bobot, Z Chihani The SMT Workshop, 2017 | 22 | 2017 |
| The proof certifier checkers Z Chihani, T Libal, G Reis International Conference on Automated Reasoning with Analytic Tableaux and …, 2015 | 22 | 2015 |
| Translating between implicit and explicit versions of proof R Blanco, Z Chihani, D Miller Automated Deduction–CADE 26: 26th International Conference on Automated …, 2017 | 17 | 2017 |
| Sharpening constraint programming approaches for bit-vector theory Z Chihani, B Marre, F Bobot, S Bardin International Conference on AI and OR Techniques in Constraint Programming …, 2017 | 12 | 2017 |
| Checking foundational proof certificates for first-order logic Z Chihani, D Miller, F Renaud PxTP-Proof Exchange for Theorem Proving, 2013 | 12 | 2013 |
| Caisar: A platform for characterizing artificial intelligence safety and robustness J Girard-Satabin, M Alberti, F Bobot, Z Chihani, A Lemesle arXiv preprint arXiv:2206.03044, 2022 | 10 | 2022 |
| Proof certificates for equality reasoning Z Chihani, D Miller Electronic Notes in Theoretical Computer Science 323, 93-108, 2016 | 9 | 2016 |
| CAMUS: A framework to build formal specifications for deep perception systems using simulators J Girard-Satabin, G Charpiat, Z Chihani, M Schoenauer arXiv preprint arXiv:1911.10735, 2019 | 8 | 2019 |
| Real Behavior of Floating Point. F Bobot, Z Chihani, B Marre SMT, 50-62, 2017 | 7 | 2017 |
| PARTICUL: part identification with confidence measure using unsupervised learning R Xu-Darme, G Quénot, Z Chihani, MC Rousset International Conference on Pattern Recognition, 173-187, 2022 | 6 | 2022 |
| Towards a holistic approach for AI trustworthiness assessment based upon aids for multi-criteria aggregation J Mattioli, H Sohier, A Delaborde, G Pedroza, K Amokrane-Ferka, ... SafeAI 2023-The AAAI's Workshop on Artificial Intelligence Safety 3381, 2023 | 5 | 2023 |
| Certification of First-order proofs in classical and intuitionistic logics Z Chihani École Polytechnique, 2015 | 5 | 2015 |
| An overview of key trustworthiness attributes and KPIs for trusted ML-based systems engineering J Mattioli, H Sohier, A Delaborde, K Amokrane-Ferka, A Awadid, ... AI and Ethics, 1-11, 2024 | 3 | 2024 |
| Contextualised Out-of-Distribution Detection Using Pattern Identification R Xu-Darme, J Girard-Satabin, D Hond, G Incorvaia, Z Chihani International Conference on Computer Safety, Reliability, and Security, 423-435, 2023 | 3 | 2023 |
| Classical polarizations yield double-negation translations Z Chihani, D Ilik, D Miller | 3 | 2016 |
| Sanity checks and improvements for patch visualisation in prototype-based image classification R Xu-Darme, G Quénot, Z Chihani, MC Rousset arXiv preprint arXiv:2302.08508, 2023 | 2 | 2023 |
| CDCL-inspired Word-level Learning for Bit-vector Constraint Solving Z Chihani, F Bobot, S Bardin arXiv preprint arXiv:1706.09229, 2017 | 2 | 2017 |
| A semantics for proof evidence Z Chihani, D Miller, F Renaud Collected abstracts of Theory and Application of Formal Proofs (LIX …, 2013 | 2 | 2013 |
