Search results

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

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

Status: Open.

#92 In IBM/LNN;

· Kar1s opened on Jun 12, 2024

Rule not functioning

Status: Open.

#91 In IBM/LNN;

· KaminiAggarwal opened on May 6, 2024

Missing image of LNN structure

Status: Open.

#89 In IBM/LNN;

· HassanAlgoz opened on Jun 3, 2023

Bad link in tutorial README.md

Status: Open.

#88 In IBM/LNN;

· BingLunsford opened on May 13, 2023

Is there a way to input FOL statements en masse?

Status: Open.

#86 In IBM/LNN;

· arifammar93 opened on Mar 12, 2023

Cannot import Join from lnn.

Status: Open.

#85 In IBM/LNN;

· daisylab opened on Mar 11, 2023

Cannot import name 'ForAll' from 'lnn'

Status: Open.

#83 In IBM/LNN;

· daisylab opened on Mar 5, 2023

Errors on educational example (it's not duplicated).

Status: Open.

#82 In IBM/LNN;

· daisylab opened on Mar 3, 2023

Errors on educational example.

Status: Open.

#81 In IBM/LNN;

· daisylab opened on Mar 3, 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