3 papers
cs.LG2026
Ontology Neural Networks for Topologically Conditioned Constraint Satisfaction
Jaehong Oh
Neuro-symbolic reasoning systems face fundamental challenges in maintaining semantic coherence while satisfying physical and logical constraints. Building upon our previous work on…
eess.SY2025
Constructive Lyapunov Functions via Topology-Preserving Neural Networks
Jaehong Oh
We prove that ONN achieves order-optimal performance on convergence rate (), edge efficiency ( for minimal connectivity ), and computational complexit…
cs.RO2025
Ontology Neural Network and ORTSF: A Framework for Topological Reasoning and Delay-Robust Control
Jaehong Oh
The advancement of autonomous robotic systems has led to impressive capabilities in perception, localization, mapping, and control. Yet, a fundamental gap remains: existing framewo…