exercises in abstract interpretation

lattice theory playground

Python-MIP: collection of Python tools for the modeling and solution of Mixed-Integer Linear programs

book_nnv

🇹🇼 讓全世界完整認識台灣 | An open-source, AI-friendly knowledge base about Taiwan

cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

SoundnessBench: Evaluating the Soundness of Neural Network Verifiers

IBEX is a C++ library for constraint processing over real numbers.

Functional Programming Library for C++. Write concise and readable C++ code.

Repository for ONNX working group artifacts

A verifier for GNN-based job schedulers

Machine Learning Systems

Learning Scheduling Algorithms for Data Processing Clusters

[ICLR 2022] Complete Verification via Multi-Neuron Relaxation Guided Branch-and-Bound

Machine Learning Safety

GPU accelerated decision optimization

A simple probabilistic programming language.

程序员在家做饭方法指南。Programmer's guide about how to cook at home (Simplified Chinese only).

DPLL(T)-based Verification tool for DNNs

The Z3 Theorem Prover

Learning and optimization algorithms compatible with EngiBench

Benchmarks for automated engineering design