Issues

• 🔒 [IBM OSPO Security Notification] — IBM/LNN

  security
  IBM/LNN#141 · Filter by author security-ops-bot opened on Oct 7, 2026
  2

• Documentation error: model.add_labels() example uses string instead of Formula

  IBM/LNN#116 · Filter by author tronmon opened on Mar 4, 2026

• Documentation error: model.add_data() example uses .name and raises TypeError

  IBM/LNN#115 · Filter by author tronmon opened on Mar 3, 2026

• Missing comma in formulae list

  IBM/LNN#113 · Filter by author tronmon opened on Mar 3, 2026

• Question: How to replicate AAAI-22 ILP experiments using this repository?

  stale
  IBM/LNN#112 · Filter by author simogiovannini opened on Dec 1, 2025
  1

• Dependency Dashboard

  IBM/LNN#99 · Filter by author renovate opened on Aug 27, 2025

• example for model training, saving and loading weights

  stale
  IBM/LNN#92 · Filter by author Kar1s opened on Jun 12, 2024
  2

• Rule not functioning

  stale
  IBM/LNN#91 · Filter by author KaminiAggarwal opened on May 6, 2024
  1

• Bad link in tutorial README.md

  stale
  IBM/LNN#88 · Filter by author BingLunsford opened on May 13, 2023
  2

• Is there a way to input FOL statements en masse?

  stale
  IBM/LNN#86 · Filter by author arifammar93 opened on Mar 12, 2023
  1

• Cannot import Join from lnn.

  stale
  IBM/LNN#85 · Filter by author daisylab opened on Mar 11, 2023
  1

• Cannot import name 'ForAll' from 'lnn'

  stale
  IBM/LNN#83 · Filter by author daisylab opened on Mar 5, 2023
  2

• Downward inference from fully quantified universal

  bug
  IBM/LNN#80 · Filter by author NaweedAghmad opened on Mar 3, 2023
  

• Issue with training model error: list indices must be integers or slices, not Loss.

  enhancement
  IBM/LNN#42 · Filter by author sonfack opened on Aug 18, 2022
  1

• Model equivalence

  enhancementgood first issue
  IBM/LNN#24 · Filter by author NaweedAghmad opened on Apr 17, 2022
  3

• model serialisation

  enhancement
  IBM/LNN#23 · Filter by author NaweedAghmad opened on Apr 12, 2022
  4