Search results

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

Status: Open.

#116 In IBM/LNN;

· tronmon opened on Mar 4, 2026

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

Status: Open.

#115 In IBM/LNN;

· tronmon opened on Mar 3, 2026

Missing comma in formulae list

Status: Open.

#113 In IBM/LNN;

· tronmon opened on Mar 3, 2026

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

stale

Status: Open.

#112 In IBM/LNN;

· simogiovannini opened on Dec 1, 2025

Dependency Dashboard

Status: Open.

#99 In IBM/LNN;

· renovate opened on Aug 27, 2025

example for model training, saving and loading weights

stale

Status: Open.

#92 In IBM/LNN;

· Kar1s opened on Jun 12, 2024

Rule not functioning

stale

Status: Open.

#91 In IBM/LNN;

· KaminiAggarwal opened on May 6, 2024

Bad link in tutorial README.md

stale

Status: Open.

#88 In IBM/LNN;

· BingLunsford opened on May 13, 2023

Is there a way to input FOL statements en masse?

stale

Status: Open.

#86 In IBM/LNN;

· arifammar93 opened on Mar 12, 2023

Cannot import Join from lnn.

stale

Status: Open.

#85 In IBM/LNN;

· daisylab opened on Mar 11, 2023

Cannot import name 'ForAll' from 'lnn'

stale

Status: Open.

#83 In IBM/LNN;

· daisylab opened on Mar 5, 2023

Downward inference from fully quantified universal

bugSomething isn't workingSomething isn't working

Status: Open.

#80 In IBM/LNN;

· NaweedAghmad opened on Mar 3, 2023