Zakaria Chihani
Titolo
Citata da
Citata da
Anno
Foundational proof certificates in first-order logic
Z Chihani, D Miller, F Renaud
International Conference on Automated Deduction, 162-177, 2013
392013
A semantic framework for proof evidence
Z Chihani, D Miller, F Renaud
Journal of Automated Reasoning 59 (3), 287-330, 2017
252017
The proof certifier checkers
Z Chihani, T Libal, G Reis
International Conference on Automated Reasoning with Analytic Tableaux and …, 2015
202015
Real behavior of floating point numbers
B Marre, F Bobot, Z Chihani
152017
Translating between implicit and explicit versions of proof
R Blanco, Z Chihani, D Miller
International Conference on Automated Deduction, 255-273, 2017
122017
Checking foundational proof certificates for first-order logic
Z Chihani, D Miller, F Renaud
102013
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
92017
Proof certificates for equality reasoning
Z Chihani, D Miller
Electronic Notes in Theoretical Computer Science 323, 93-108, 2016
82016
Classical polarizations yield double-negation translations
Z Chihani, D Ilik, D Miller
52016
Real behavior of floating point
F Bobot, Z Chihani, B Marre
15th International Workshop on Satisfiability Modulo Theories, 59-74, 2017
42017
Certification of First-order proofs in classical and intuitionistic logics
Z Chihani
PhD thesis, École polytechnique, 2015
42015
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
The exp-log normal form of types and canonical terms for lambda calculus with sums
D Ilik, Z Chihani
CoRR, abs/1502.04634, 2015
12015
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
2019
Bruno Marre Benjamin Blanc Patricia Mouy Zakaria Chihani Franck Vedrine François Bobot June 2, 2019
Z Chihani
2019
2nd International Workshop on Artificial Intelligence Safety Engineering (WAISE 2019)
Z Chihani, S Gerasimou, A Theodorou, G Charpiat
Safecomp Conference/7th Assure International Workshop/14th Decsos Workshop …, 2019
2019
Bruno Marre Benjamin Blanc Patricia Mouy Zakaria Chihani Franck Vedrine François Bobot June 11, 2018
Z Chihani
2018
An interactive assistant for the definition of proof certificates
R Blanco, Z Chihani
2016
Tight coupling between bit-vector and integer domains can surpass bit-blasting SMT solvers
Z Chihani
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20