#categorical-logic
Every summary, chronological. Filter by category, tag, or source from the rail.
Tag · #categorical-logic
ODYSSEY: A Categorical Framework for Verifiable AI Models
ODYSSEY introduces a categorical framework using 'foundries'—modular, verifiable building blocks—to construct foundation models that maintain local truth and allow for rigorous, queryable knowledge management.
arXiv cs.AI
Showing 1 of 1