✨
Neuro-Symbolic AI
- London, United Kingdom
-
12:47
(UTC +01:00) - http://tommaso-soru.it
- https://orcid.org/0000-0002-1276-2366
- in/tomsoru
- @mommi84.bsky.social
Stars
1
star
written in Haskell
Clear filter
This repository contains an entailment dataset for propositional logic, and code for generating that dataset. It also contains code for parsing the dataset in python.