Pinned Repositories
Artificial-Intelligence-A-Z
Udemy course
dl2
DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, outputs, weights) and to query networks for inputs fulfilling a logical formula.
LTNtorch
PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.
ReactGallery
SymDQN
IvoAA's Repositories
IvoAA/dl2
DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, outputs, weights) and to query networks for inputs fulfilling a logical formula.
IvoAA/Artificial-Intelligence-A-Z
Udemy course
IvoAA/LTNtorch
PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.
IvoAA/ReactGallery
IvoAA/SymDQN