18:04
2026-09-12
arxiv.org
artificial-intelligence
From Neural Networks to Logical Theories
A paper submitted on 28 Sep 2025 to arXiv's Computer Science > Artificial Intelligence section formalizes the correspondence between fibring of modal logics and fibring of neural networks, a gap the a…