Giters

AB-Repo / LNN

A `Neural = Symbolic` framework for sound and complete weighted real-value logic

Home Page:https://IBM.github.io/LNN/

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

A `Neural = Symbolic` framework for sound and complete weighted real-value logic

https://IBM.github.io/LNN/

License:Apache License 2.0

Languages

Language:Python 88.8%Language:Jupyter Notebook 11.0%Language:Makefile 0.2%Language:Shell 0.0%