4 results found Sort:

logic-and-learning-lab
Popper logic-and-learning-lab
41
220
mit
19
An inductive logic programming system
program-synthesis inductive-logic-programming
Created 2021-04-05
751 commits to main branch, last one 23 hours ago
pauljblazek
deepdistilling pauljblazek
7
85
other
3
Mechanistically interpretable neurosymbolic AI (Nature Comput Sci 2024): losslessly compressing NNs to computer code and discovering new algorithms which generalize out-of-distribution and outperform ...
distilling interpretable neurosymbolic explainable-ai domain-adaptation program-synthesis model-distillation knowledge-distillation inductive-logic-programming mechanistic-interpretability out-of-distribution-generalization
Created 2024-01-13
5 commits to main branch, last one about a year ago
friguzzi
cplint friguzzi
13
73
other
11
cplint is a suite of programs for reasoning with probabilistic logic programs
prolog machine-learning logic-programming probabilistic-programming inductive-logic-programming probabilistic-logic-programming
Created 2014-11-09
1,188 commits to master branch, last one 5 days ago
921kiyo
symbolic-rl 921kiyo
10
62
mit
6
Symbolic Reinforcement Learning using Inductive Logic Programming
ilp answer-set-programming reinforcement-learning artificial-intelligence inductive-logic-programming symbolic-reinforcement-learning
Created 2018-05-16
431 commits to master branch, last one 3 years ago