AIbase
Home

Product Finder

Product Submit

AI Models Finder

MCP Servers

MCP Client

MCP Inspector

Case Tutorials

Latest AI News

AI Daily Brief

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
300
Stars
0
Stars Increase

Related projects

Awesome Flutter

android

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

56666
4个月前
+13today

TensorFlow Examples

deep-learning

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

43678
4个月前
+2today

So Vits Svc

ai

SoftVC VITS Singing Voice Conversion

27462
4个月前
+10today

Pytorch CycleGAN And Pix2pix

computer-graphics

Image-to-Image Translation in PyTorch

24301
4个月前
+2today

Bringing Old Photos Back To Life

gans

Bringing Old Photo Back to Life (CVPR 2020 oral)

15575
4个月前
+1today

Kaldi

c-plus-plus

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

15017
4个月前
+3today

The Gan Zoo

gan

A list of all named GANs!

14601
4个月前
+1today

Vosk Api

android

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

12848
4个月前
+14today

CycleGAN

computer-graphics

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

12709
1年前
+1today

Amazon Sagemaker Examples

aws

Example ? Jupyter notebooks that demonstrate how to build, train, and deploy machine learning models using ? Amazon SageMaker.

10648
4个月前
+23today