NeSyCat: A Monad-Based Categorical Semantics of the Neurosymbolic ULLER Framework

arXiv:2604.24612v1 Announce Type: new Abstract: ULLER (Unified Language for LEarning and Reasoning) offers a unified first-order logic (FOL) syntax, enabling its knowledge bases to be used directly across a wide range of neurosymbolic systems. The original specification endows this syntax with...