cure-lab/sat-benchmark

Stars
2
Language
Python
License
MIT License
Updated about 2 years ago

cure-lab/sat-benchmark

cure-lab

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Benchmarking end-to-end SAT solvers.

SCINet

The GitHub repository for the paper: “Time Series is a Special Sequence: Forecasting with Sample Convolution and Interaction“. (NeurIPS 2022)

MMA-Diffusion

[CVPR2024] MMA-Diffusion: MultiModal Attack on Diffusion Models

deep-active-learning

An implementation of the state-of-the-art Deep Active Learning algorithms

HybridRepair

This is an implementation of our paper "HybridRepair: Towards Annotation-Efficient Repair for Deep Learning Models", which will be presented in ISSTA'22.

HiBug

TestRank

This is an implementation of the paper "TestRank: Bringing Order into Unlabeled Test Instances for Deep Learning Tasks" in NeurIPS'2021.

ContraNet

Code is coming soon.

DirectInversion

Official repo for paper "Direct Inversion: Boosting Diffusion-based Editing with 3 Lines of Code"

Jupyter Notebook