ytsao's Stars
caterinaurban/apronpy
sickcodes/Docker-OSX
Run macOS VM in a Docker! Run near native OSX-KVM in Docker! X11 Forwarding! CI/CD for OS X Security Research! Docker mac Containers.
Verified-Intelligence/Lyapunov_Stable_NN_Controllers
Lyapunov-stable Neural Control for State and Output Feedback
Talmaj/onnx2pytorch
Transform ONNX model to PyTorch representation
sisl/NeuralVerification.jl
Methods to soundly verify deep neural networks
Verified-Intelligence/CROWN-Reach
A reachability analysis tool for neural network controlled system, based on the alpha-beta-CROWN framework
sleepymalc/VSCode-LaTeX-Inkscape
✍️ A way to integrate LaTeX, VS Code, and Inkscape in macOS
alshedivat/al-folio
A beautiful, simple, clean, and responsive Jekyll theme for academics
uiuc-arc/FANC
FANC is a tool for the proof transfer of incomplete verification
cywu92/PaperCrawler
caterinaurban/Libra
uiuc-focal-lab/IVAN
Incremental Verification of DNNs (https://arxiv.org/abs/2304.01874)
christopherhojny/SCIP-MPNN
Repository for paper: "Verifying message-passing neural networks via topology-based bounds tightening"
revbucket/dual-verification
antoinemine/apron
Apron Numerical Abstract Domain Library
protocolbuffers/protobuf
Protocol Buffers - Google's data interchange format
mancs20/mosaic_image_combination
lattice-land/bench
Benchmarking of constraint solvers locally and on HPC
yhirose/cpp-peglib
A single file C++ header-only PEG (Parsing Expression Grammars) library
vtjeng/MIPVerify.jl
Evaluating Robustness of Neural Networks with Mixed Integer Programming
onnx/models
A collection of pre-trained, state-of-the-art models in the ONNX format
ankane/onnxruntime-1
ONNX Runtime: cross-platform, high performance scoring engine for ML models
lattice-land/lala-parsing
Parsing combinatorial models into the lattice land's representation of logic formulas (lala-core AST).
lattice-land/lala-core
Core of the framework defining logical formula and abstract domain.
lattice-land/lala-pc
Abstract propagators completion (PC) is an abstract domain encapsulating the propagation component of a constraint programming solver.
microsoft/onnxruntime-inference-examples
Examples for using ONNX Runtime for machine learning inferencing.
PrAbsInt/appendix
Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not included in the book, the indexes of names and cited authors, as well as a corrigendum
pcousot/slides
slides for the book "Principles od Abstract Interpretation", P. Cousot, MIT Press, 2021
pjreddie/darknet
Convolutional Neural Networks
chocoteam/choco-solver
An open-source Java library for Constraint Programming