monotonicity topic

List monotonicity repositories
trafficstars

datafun

379
Stars
15
Forks
Watchers

Research on integrating datalog & lambda calculus via monotonicity types

constrained-deep-learning

69
Stars
6
Forks
69
Watchers

Constrained deep learning is an advanced approach to training deep neural networks by incorporating domain-specific constraints into the learning process.