Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / logictensornetworks/logictensornetworks issues and pull requests

#32 - Update tensorflow dependency for apple silicon machines

Issue - State: closed - Opened by sbadredd over 1 year ago

#31 - Add a ltn.Predicate constructor that takes in a logits model

Issue - State: closed - Opened by sbadredd about 2 years ago - 1 comment
Labels: enhancement

#30 - Weighted connective operators

Issue - State: open - Opened by maelle101 over 2 years ago - 1 comment
Labels: enhancement

#29 - Saving LTN model

Issue - State: open - Opened by maelle101 over 2 years ago - 3 comments

#28 - Imbalanced classification

Issue - State: open - Opened by mpourvali over 2 years ago - 3 comments

#27 - Allow to permanently `diag` variables

Issue - State: closed - Opened by sbadredd over 2 years ago
Labels: enhancement

#26 - automated translation of tptp problems to ltn axioms

Issue - State: open - Opened by phjlip over 2 years ago - 1 comment

#25 - Using wrapper with new version

Issue - State: open - Opened by ivanDonadello almost 3 years ago - 1 comment
Labels: enhancement

#24 - ValueError: mask cannot be scalar.

Issue - State: closed - Opened by MilenaTenorio about 3 years ago - 9 comments

#23 - Error in the axioms of the clustering example

Issue - State: closed - Opened by sbadredd about 3 years ago - 1 comment
Labels: bug

#22 - Add runtime Type Checking when constructing expressions

Issue - State: closed - Opened by sbadredd about 3 years ago
Labels: enhancement

#21 - Adapt tutorials to API changes

Issue - State: closed - Opened by sbadredd about 3 years ago
Labels: bug

#20 - Adapt examples to API changes

Issue - State: closed - Opened by sbadredd about 3 years ago
Labels: bug

#19 - Parent classes for Terms and Formulas

Issue - State: closed - Opened by sbadredd about 3 years ago
Labels: enhancement

#18 - Add a constructor for variables made from trainable constants

Issue - State: closed - Opened by sbadredd about 3 years ago
Labels: enhancement

#17 - Support masks using LTN syntax instead of TensorFlow operations

Issue - State: closed - Opened by sbadredd about 3 years ago
Labels: enhancement

#16 - Create classes for Variable, Constant and Proposition

Issue - State: closed - Opened by sbadredd about 3 years ago
Labels: enhancement

#15 - Add tests

Issue - State: closed - Opened by sbadredd about 3 years ago
Labels: enhancement

#14 - Add PEP 484 Type Annotations

Issue - State: closed - Opened by sbadredd about 3 years ago
Labels: enhancement

#13 - Lambda for functions need to be implemented using Functional API of TF

Issue - State: closed - Opened by thoth291 almost 4 years ago - 2 comments

#12 - Tutorial links are bad

Issue - State: closed - Opened by dahvid about 4 years ago - 1 comment

#11 - Error on forall

Issue - State: closed - Opened by a-cinchetti about 5 years ago

#10 - Typo II

Pull Request - State: closed - Opened by dsikar over 5 years ago

#9 - Typo

Pull Request - State: closed - Opened by dsikar over 5 years ago

#8 - configuration function for wrapper

Issue - State: closed - Opened by mspranger almost 6 years ago

#7 - Check of number_of_features_or_feed of ltn.variable

Issue - State: closed - Opened by ivanDonadello almost 6 years ago - 2 comments

#6 - ltnw.term: evaluating a term after redeclaring its constants, variables or functions

Issue - State: closed - Opened by sbadredd about 6 years ago - 2 comments

#5 - remove sat level

Issue - State: closed - Opened by mspranger over 6 years ago - 1 comment
Labels: enhancement

#4 - wrapper: ask multiple questions at the same time

Issue - State: closed - Opened by mspranger over 6 years ago - 2 comments
Labels: enhancement

#3 - wrapper: save/ load a knowledge base

Issue - State: closed - Opened by mspranger over 6 years ago - 1 comment
Labels: enhancement

#2 - ltnw: formula -> axiom

Issue - State: closed - Opened by mspranger over 6 years ago - 1 comment
Labels: enhancement

#1 - ltnw: run knowledgebase without training should be possibe

Issue - State: closed - Opened by mspranger over 6 years ago - 3 comments
Labels: bug