Search papers, labs, and topics across Lattice.
1
0
2
Forget discrete Kripke structures: this work uses Neural SDEs to lift modal logical reasoning to continuous manifolds, enabling logic-informed neural networks that learn from logical constraints without needing governing equations.
