Volgen
Zakaria Chihani
Titel
Geciteerd door
Geciteerd door
Jaar
Foundational proof certificates in first-order logic
Z Chihani, D Miller, F Renaud
Automated Deduction–CADE-24: 24th International Conference on Automated …, 2013
412013
A semantic framework for proof evidence
Z Chihani, D Miller, F Renaud
Journal of Automated Reasoning 59, 287-330, 2017
342017
Real behavior of floating point numbers
B Marre, F Bobot, Z Chihani
The SMT Workshop, 2017
222017
The proof certifier checkers
Z Chihani, T Libal, G Reis
International Conference on Automated Reasoning with Analytic Tableaux and …, 2015
222015
Translating between implicit and explicit versions of proof
R Blanco, Z Chihani, D Miller
Automated Deduction–CADE 26: 26th International Conference on Automated …, 2017
162017
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
122017
Checking foundational proof certificates for first-order logic
Z Chihani, D Miller, F Renaud
PxTP-Proof Exchange for Theorem Proving, 2013
122013
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
102022
Proof certificates for equality reasoning
Z Chihani, D Miller
Electronic Notes in Theoretical Computer Science 323, 93-108, 2016
92016
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
82019
Real Behavior of Floating Point.
F Bobot, Z Chihani, B Marre
SMT, 50-62, 2017
72017
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
62022
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
52023
Certification of First-order proofs in classical and intuitionistic logics
Z Chihani
École Polytechnique, 2015
52015
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
32024
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
32023
Classical polarizations yield double-negation translations
Z Chihani, D Ilik, D Miller
32016
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
22023
CDCL-inspired Word-level Learning for Bit-vector Constraint Solving
Z Chihani, F Bobot, S Bardin
arXiv preprint arXiv:1706.09229, 2017
22017
A semantics for proof evidence
Z Chihani, D Miller, F Renaud
Collected abstracts of Theory and Application of Formal Proofs (LIX …, 2013
22013
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20