research-fork Goto Github PK

online-sat-solver

sat solver and more

onnx2pytorch

Personal customization of official onnx2pytorch library

opus-go

oskr-owners-manual

Comprehensive reference manual for OSKR-enabled Vector robots

paper-template

Blank starter LaTeX code for writing papers and slides.

parafrost

A Parallel SAT Solver with GPU Accelerated Inprocessing

planet

PLANET: a Piece-wise LineAr feed-forward NEural network verification Tool

plnn-verification

All code for the Piecewise Linear Neural Networks verification: A comparative study paper

plnn-verification-journal

PLNN verification code for the journal submission

prodeep

PRODeep: A Platform for Robustness Verification of Deep Neural Networks

prophecy

Property Inference from Deep Neural Networks

prophecy_dnn

pysat

Simple SAT solver with CDCL implemented in Python

python-reluplex

Python extension to Reluplex

qlora

QLoRA: Efficient Finetuning of Quantized LLMs

reachnnstar

Reachability Analysis Tool of Neural Network Controlled Systems (NNCSs)

recurjac-and-crown

Reference implementations for RecurJac, CROWN, FastLin and FastLip (Neural Network verification and robustness certification algorithms)

reludiff-icse2020-artifact

Artifact of the ICSE 2020 paper: "ReluDiff: Differential Verification of Deep Neural Networks"

reludiff_v2

This is a new verification method for NN equivalency based on ReLuDiff.

reluplexcav2017

reluplexstudy

Study on the Reluplex paper (Katz et al.) and experimenting with the Marabou framework for Neural Network formal verification

reluval

The released code of ReluVal in USENIX Security 2018

riai-deeppoly

Neural Network Verification with DeepPoly

riai2020

ringsat

CDCL SAT-solver for GPUs

rnnverify

Tool for formal verification of Recurrent Neural Networks

run_nnv_comparison

Comparison of NNV, Marabou, Reluval, Reluplex

safedrl

Repository containing the PhD Thesis "Formal Verification of Deep Reinforcement Learning Agents"

sat-solver

Generic SAT-solver with Lookahead and CDCL

sat-solver-with-cdcl

Lightweight but fast SAT solver with input sorting and CDCL