Pinned Loading

1. uiuc-focal-lab/AbsEvolveuiuc-focal-lab/AbsEvolvePublic

   [PLDI 2026] Evolving Abstract Transformers for Gradient-Guided, Adaptable Abstract Interpretation

   C++ 1

2. uiuc-focal-lab/Syndicateuiuc-focal-lab/SyndicatePublic

   [ESOP 2026] Efficient Ranking Function-Based Termination Analysis via Bidirectional Decompositional Search

   Java 2

3. CDCL-SATCDCL-SATPublic

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

   Jupyter Notebook 22 6

4. monotonic-neural-networksmonotonic-neural-networksPublic

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

   Python 6

5. Verification-of-PINNsVerification-of-PINNsPublic

   Forked from avaljotsingh/Verification-of-PINNs

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

   Jupyter Notebook