Stars
6
stars
written in Python
Clear filter
An explainable inference software supporting annotated, real valued, graph based and temporal logic
Mechanistically interpretable neurosymbolic AI (Nature Comput Sci 2024): losslessly compressing NNs to computer code and discovering new algorithms which generalize out-of-distribution and outperfo…
An OpenAI wrapper for PyReason to use in a Grid World reinforcement learning setting
Elevate your language models with insightful diversity metrics.