Davis Automated Reasoning Group
Results
2
repositories owned by
Davis Automated Reasoning Group
SyReNN
38
Stars
5
Forks
Watchers
SyReNN: Symbolic Representations for Neural Networks
pikos_popl2020
16
Stars
2
Forks
Watchers
Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation