Pinned Loading

1. CDCL-SAT CDCL-SAT Public

   A SAT Solver based on CDCL (Conflict Driven Clause Learning) implemented in python

   Jupyter Notebook 23 6

2. uiuc-focal-lab/Syndicate uiuc-focal-lab/Syndicate Public

   Java 3

3. Verification-of-PINNs Verification-of-PINNs Public

   Forked from avaljotsingh/Verification-of-PINNs

   A tool to verify Physics Informed Neural Networks (PINNs) and train them certifiably

   Jupyter Notebook

4. monotonic-neural-networks monotonic-neural-networks Public

   Implementation of Monotonic Neural Networks using Point-wise loss for monotonicity

   Python 6