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 ori…