Popular GitHub Repositories for Verification

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory

ddddocr rust 版本，ocr_api_server rust 版本，二进制版本，验证码识别，不依赖 opencv 库，跨平台运行，a simple OCR API server, very easy to deploy。

Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.

A Framework for Deep Neural Network Verification

The VeriNet toolkit for verification of neural networks

KBY-AI Empowered KYC Verification For Digital Onboarding Process Including Face Liveness, Face Recognition And ID Card Recognition

SW components and demos for visual kinship recognition. An emphasis is put on the FIW dataset-- data loaders, benchmarks, results in summary.

Sven Gowal et al., Scalable Verified Training for Provably Robust Image Classification, ICCV 2019

Deep Neural Network Falsification

GRAIC-22 Autonomous Racing Competition Benchmarks

Official implementation for "Large Language Models Can Self-Correct with Key Condition Verification" (EMNLP 2024)

A Collection of DNN Verification Benchmarks

Codes and Datasets for our WSDM 2022 Paper: "MTLTS: A Multi-Task Framework To Obtain Trustworthy Summaries From Crisis-Related Microblogs"

Knotical: An Inference System of Trace Refinement Relations

The open source version of the VeriNet toolkit for verification of neural networks.