4 results found Sort:

logic-and-learning-lab
Popper logic-and-learning-lab
29
182
mit
19
An inductive logic programming system
program-induction program-synthesis inductive-logic-programming
Created 2021-04-05
705 commits to main branch, last one 6 days ago
pauljblazek
deepdistilling pauljblazek
7
72
other
4
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 4 months ago
friguzzi
cplint friguzzi
13
64
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,169 commits to master branch, last one 4 months ago
921kiyo
symbolic-rl 921kiyo
10
61
mit
7
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 2 years ago