Formal verification of UML state machines with Promela/spin and TLA+/PlusCal

A modular, plugin-based framework for verifying the true identity of models behind LLM APIs. / 模块化的 LLM 指纹识别与 API 模型身份验证框架。

One of the biggest barriers to widespread machine learning adoption is the difficulty in collecting a 'good' dataset. There is an overall consensus that a 'good' dataset is a big dataset, but we believe that we can do better. As such the VennData project was created to develop tools to guide in the collection, curation, augmentation and validati…

Detect fake AI APIs — Verify if an LLM API is actually serving the model it claims. Catch resellers selling "Claude" or "ChatGPT" that secretly serve cheaper models. Behavioral fingerprinting with 32 forensic prompts.

The project builds a Bayesian Network using pressure sensor data to detect pipe leaks, employing probabilistic reasoning to determine the likelihood of leaks based on sensor readings. It involves loading dataset, defining network structure, calculating CPDs, adding them to model, and using Variable Elimination algorithm for inference

🔍 一键检测 AI API 服务商是否如实提供所标注的模型 | 支持 OpenAI / Claude / Gemini / DeepSeek 等 9 大模型原厂对比验证

A model verifier for finite automata written in C++

A helper desktop tool for UPPAAL model verification application

MLOps unifies machine learning with software engineering and operational best practices. It provides the processes, automation, and infrastructure to reliably build, train, test, deploy, monitor, and manage ML models. It ensures reproducibility, version control, CI/CD, automated testing, and lifecycle governance.

Main repository of Team HYPE🤟 in VeHa-2023 contest (Sergey Melnikov, Elina Kuzmichyova, Maxim Fomin)

Model integrity and provenance verification for LLMs and AI models. Generate, verify, and cryptographically secure your model artifacts.

Transform C2E2 into a Python package.

A model verification project on OctoMap with using UPPAAL tool

Static analysis and integrity verification for GGUF model files