/nl-hol-neural-reasoner

A neuro-symbolic AI project that I'm less interested in now

Primary LanguageIsabelleMIT LicenseMIT

Stargazers

No one’s star this repository yet.