4 results found Sort:

logic-and-learning-lab
Popper logic-and-learning-lab
37
208
mit
19
An inductive logic programming system
program-induction program-synthesis inductive-logic-programming
Created 2021-04-05
714 commits to main branch, last one 8 days ago
pauljblazek
deepdistilling pauljblazek
7
82
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 10 months ago
friguzzi
cplint friguzzi
13
69
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,170 commits to master branch, last one about a month 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