IBM/LNN

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

PythonJupyter NotebookOthermachine-learninglogicreasoningneuro-symbolic-ai
This is stars and forks stats for /IBM/LNN repository. As of 04 May, 2024 this repository has 188 stars and 405 forks.

Logical Neural Networks LNNs are a novel Neuro = Symbolic framework designed to seamlessly provide key properties of both neural nets (learning) and symbolic logic (knowledge and reasoning). Every neuron has a meaning as a component of a formula in a weighted real-valued logic, yielding a highly interpretable disentangled representation. Inference is omnidirectional rather than focused on predefined target variables, and corresponds to logical reasoning, including classical first-order logic theorem...
Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
microsoft/fluentui-emojiPython8.2k04560
onwidget/astrowindAstroTypeScriptMDX1.5k+28360+6
Specnr/MultiResetWallAutoHotkeyPython560210
DeutscheKI/tevr-asr-toolCC++Other3990170
libvips/nip2CWitcher ScriptYacc3180130
AzureAD/microsoft-authentication-library-for-dotnetC#Other1.3k03260
netology-code/bjs-diplomCSSJavaScriptOther2109560
creativetimofficial/argon-dashboard-djangoCSSSCSSHTML13902700
microsoft/azuredevopslabsCSSHTMLC#74008520
progfolio/elpacaEmacs LispOther3970190