Foundational proof certificates in first-order logic Z Chihani, D Miller, F Renaud International Conference on Automated Deduction, 162-177, 2013 | 41 | 2013 |

A semantic framework for proof evidence Z Chihani, D Miller, F Renaud Journal of Automated Reasoning 59 (3), 287-330, 2017 | 30 | 2017 |

The proof certifier checkers Z Chihani, T Libal, G Reis International Conference on Automated Reasoning with Analytic Tableaux and …, 2015 | 22 | 2015 |

Real behavior of floating point numbers B Marre, F Bobot, Z Chihani SMT Workshop, 1-12, 2017 | 21 | 2017 |

Translating between implicit and explicit versions of proof R Blanco, Z Chihani, D Miller International Conference on Automated Deduction, 255-273, 2017 | 15 | 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 |

Proof certificates for equality reasoning Z Chihani, D Miller Electronic Notes in Theoretical Computer Science 323, 93-108, 2016 | 9 | 2016 |

Real Behavior of Floating Point. F Bobot, Z Chihani, B Marre SMT, 50-62, 2017 | 5 | 2017 |

Classical polarizations yield double-negation translations Z Chihani, D Ilik, D Miller | 5 | 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 | 4 | 2019 |

Certification of First-order proofs in classical and intuitionistic logics Z Chihani PhD thesis, École polytechnique, 2015 | 4 | 2015 |

A semantics for proof evidence Z Chihani, D Miller, F Renaud Collected abstracts of Theory and Application of Formal Proofs (LIX …, 2013 | 2 | 2013 |

DISCO Verification: Division of Input Space into COnvex polytopes for neural network verification J Girard-Satabin, A Varasse, M Schoenauer, G Charpiat, Z Chihani arXiv preprint arXiv:2105.07776, 2021 | 1 | 2021 |

CDCL-inspired Word-level Learning for Bit-vector Constraint Solving Z Chihani, F Bobot, S Bardin arXiv preprint arXiv:1706.09229, 2017 | 1 | 2017 |

The exp-log normal form of types and canonical terms for lambda calculus with sums D Ilik, Z Chihani CoRR, abs/1502.04634, 2015 | 1 | 2015 |

PARTICUL: Part Identification with Confidence measure using Unsupervised Learning R Xu-Darme, G Quénot, Z Chihani, MC Rousset arXiv preprint arXiv:2206.13304, 2022 | | 2022 |

CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness M Alberti, F Bobot, Z Chihani, J Girard-Satabin, A Lemesle arXiv preprint arXiv:2206.03044, 2022 | | 2022 |

Actes de la conférence CAID 2021 (Conference on Artificial Intelligence for Defense) A Dey, B Costé, É Totel, A Bécue, E Aguas, A Lambert, G Blanc, H Debar, ... CAID 2021-Conference on Artificial Intelligence for Defense, 1-152, 2021 | | 2021 |

Partitionnement en régions linéaires pour la vérification formelle de réseaux de neurones J Girard-Satabin, A Varasse, G Charpiat, Z Chihani, M Schoenauer Journées Francophones des Langages Applicatifs, 2021 | | 2021 |