IBM/LNN

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

PythonStars 296Forks 468Watchers 296Open issues 36License Apache License 2.0

Details

仓库信息

OwnerIBM

Last pushed2025-12-11

Last updated2025-12-13

Issues fetched at—

Community at a glance