2 papers
cs.LG2026
Platonic Projection Structures: Operator-Induced Observability in Representation Learning
Kazuo Ishii, Bishnu Prasad Gautam, Jieling Wu +2
We characterize observability in representation learning through Platonic Projection Structures (PPS), an operator-theoretic framework for analyzing representation accessibility un…
cs.SE2024
CodoMo: Python Model Checking to Integrate Agile Verification Process of Computer Vision Systems
Yojiro Harie, Yuto Ogata, Gautam Bishnu Prasad +1
Model checking is a fundamental technique for verifying finite state concurrent systems. Traditionally, model designs were initially created to facilitate the application of model…