Towards improving the characteristics of deep neural networks: a meta-modeling approach. - Aicha Choutri; Angham Boukhari; Faiza Belala; Ahmed Hadj Kacem (TACC, 2023)

Towards a Maude-Based Approach for Formal Modeling Deep Neural Networks. - Angham Boukhari; Aïcha Choutri; Faiza Belala; Ahmed Hadj Kacem (LPKM, 2024)