TY  - RPRT
TI  - Formal Local Implication Between Two Neural Networks
AU  - Anahita Baninajjar
AU  - Ahmed Rezine
AU  - Amir Aminifar
PY  - 2025
UR  - https://arxiv.org/abs/2409.16726
ID  - 2409.16726
ER  -