TY  - RPRT
TI  - Modelling and Verifying Neuronal Archetypes in Rocq
AU  - Abdorrahim Bahrami
AU  - Rébecca Zucchini
AU  - Elisabetta De Maria
AU  - Amy Felty
PY  - 2026
UR  - https://arxiv.org/abs/2505.05362
ID  - 2505.05362
ER  -