AIbase
Home
AI Tutorial

alpha-beta-CROWN

Public

alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, and 2024)

adversarial-examplesadversarial-robustnessformal-verificationneural-network-verificationneural-networksrobustnessrobustness-verification
Creat：2021-06-29T12:26:31
Update：2025-03-24T17:01:23
329
Stars
0
Stars Increase

Related projects

Awesome Flutter

android

An awesome list that curates the best Flutter libraries, tools, tutorials, articles and more.

58170
8个月前
+31today

TensorFlow Examples

deep-learning

TensorFlow Tutorial and Examples for Beginners (support TF v1 & v2)

43763
8个月前
-1today

So Vits Svc

ai

SoftVC VITS Singing Voice Conversion

27844
8个月前
+9today

Pytorch CycleGAN And Pix2pix

computer-graphics

Image-to-Image Translation in PyTorch

24770
8个月前
+10today

Bringing Old Photos Back To Life

gans

Bringing Old Photo Back to Life (CVPR 2020 oral)

15661
8个月前
+1today

Kaldi

c-plus-plus

kaldi-asr/kaldi is the official location of the Kaldi project.

15257
8个月前
+3today

The Gan Zoo

gan

A list of all named GANs!

14674
8个月前
-3today

Vosk Api

android

Offline speech recognition API for Android, iOS, Raspberry Pi and servers with Python, Java, C# and Node

13768
8个月前
+27today

CycleGAN

computer-graphics

Software that can generate photos from paintings, turn horses into zebras, perform style transfer, and more.

12798
1年前
+4today

Speechbrain

asr

A PyTorch-based Speech Toolkit

10895
8个月前
+14today