Pinned Loading
-
-
torchmodal
torchmodal PublicDifferentiable modal logic for PyTorch: □ and ♢ as trainable layers over a Kripke structure, with sound interval bounds and a learnable accessibility relation. Oral @ NeSy 2026.
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.




