Accepted paper at ECAI 2025 October 30, 2025 | 0 Minute Read On “Formal Local Implication Between Two Neural Networks” with Anahita Baninajjar and Amir Aminifar. Paper on "Paper" accepted for publication at the European Conference on Artificial Intelligence (ECAI 2025).