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.

Code for the paper: Diversity Measures: Domain Independent Proxies for Failure in Language Model Queries