Back to papers
April 27, 2026cs.AIcs.LOmath.CTmath.LO

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

Daniel Romero Schellhorn, Till Mossakowski
Read on arXivDownload PDF
Categories

cs.AI, cs.LO, math.CT, math.LO