epistemic-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.
Wu is a media forensics toolkit with special support for Legal teams.
