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

收集整理韩国语脏话、粗话、仇恨言论（攻击性语言）相关数据集、库和API的资源库

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.

加密提供商服务提供 REST API，用于创建符合 W3C 规范的可验证凭证 (VC) 和可验证展示 (VP)。它还提供更通用的端点，用于对任意数据进行签名，为现有的 VC/VP 添加密码学证明，以及获取签名验证所需的公钥。