PyPI page
Home page
Author:
Antonin Sulc
Summary:
Differentiable modal logic for PyTorch: sound interval bounds and a learnable Kripke accessibility relation (Modal Logic Neural Networks)
Latest version:
0.9.0
Required dependencies:
numpy
|
torch
Optional dependencies:
mkdocs
|
mkdocs-material
|
mkdocstrings
|
mypy
|
pytest
|
pytest-cov
|
ruff
Downloads last day:
7
Downloads last week:
137
Downloads last month:
416
7-day smoothing