differentiable-logic
Differentiable modal logic for PyTorch: □ and ♢ as trainable layers over a Kripke structure, with sound interval bounds and a learnable accessibility relation. Oral @ NeSy 2026.
Tensor Logic as a StableHLO-emitting DSL for PJRT runtimes
