Filter by type:

. A Review of Formal Methods applied to Machine Learning. CoRR abs/2104.02466, 2021.

PDF Project arXiv HAL

. Fair Training of Decision Tree Classifiers. CoRR abs/2101.00909, 2021.

PDF Project arXiv

. Perfectly Parallel Fairness Certification of Neural Networks. CoRR abs/1912.02499, 2019.

PDF Code Project BibTeX arXiv

. Permission Inference for Array Programs. In CAV, 2018.

PDF BibTeX Springer

. MaxSMT-Based Type Inference for Python 3. In CAV, 2018.

PDF Code Project Artifact BibTeX Springer

. Abstract Interpretation as Automated Deduction. In JAR, 2017.

PDF BibTeX Springer

. Formal Analysis of Facebook Connect Single Sign-On Authentication Protocol. In SOFSEM Student Research Forum, 2011.

PDF Poster Slides