Zakaria Chihani
Cited by
Cited by
Foundational proof certificates in first-order logic
Z Chihani, D Miller, F Renaud
International Conference on Automated Deduction, 162-177, 2013
A semantic framework for proof evidence
Z Chihani, D Miller, F Renaud
Journal of Automated Reasoning 59 (3), 287-330, 2017
Real behavior of floating point numbers
B Marre, F Bobot, Z Chihani
SMT Workshop, 1-12, 2017
The proof certifier checkers
Z Chihani, T Libal, G Reis
International Conference on Automated Reasoning with Analytic Tableaux and …, 2015
Translating between implicit and explicit versions of proof
R Blanco, Z Chihani, D Miller
International Conference on Automated Deduction, 255-273, 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
Checking foundational proof certificates for first-order logic
Z Chihani, D Miller, F Renaud
PxTP-Proof Exchange for Theorem Proving, 2013
Proof certificates for equality reasoning
Z Chihani, D Miller
Electronic Notes in Theoretical Computer Science 323, 93-108, 2016
Real Behavior of Floating Point.
F Bobot, Z Chihani, B Marre
SMT, 50-62, 2017
Classical polarizations yield double-negation translations
Z Chihani, D Ilik, D Miller
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
Certification of First-order proofs in classical and intuitionistic logics
Z Chihani
PhD thesis, École polytechnique, 2015
A semantics for proof evidence
Z Chihani, D Miller, F Renaud
Collected abstracts of Theory and Application of Formal Proofs (LIX …, 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
CDCL-inspired Word-level Learning for Bit-vector Constraint Solving
Z Chihani, F Bobot, S Bardin
arXiv preprint arXiv:1706.09229, 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
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
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
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
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
The system can't perform the operation now. Try again later.
Articles 1–20