2 results found Sort:

rntz
datafun rntz
15
382
unknown
42
Research on integrating datalog & lambda calculus via monotonicity types
query datalog compiler type-theory monotonicity semilattices programming-language
Created 2015-11-20
2,216 commits to master branch, last one 2 years ago
matlab-deep-learning
constrained-deep-learning matlab-deep-learning
2
31
other
7
Constrained deep learning is an advanced approach to training deep neural networks by incorporating domain-specific constraints into the learning process.
convex lipschitz monotonic monotonicity deep-learning ai-verification neural-networks lipschitz-network convex-neural-network deep-learning-algorithms
Created 2024-03-25
4 commits to main branch, last one 3 months ago