Interval-Lattice Fixed-Point Semantics for Certified Implicit Hypergraph Neural Operators

Pure Mathematics for Theoretical Computer Science • Published 2026