Home › Evaluation and Monitoring › alpha-beta-CROWN

alpha-beta-CROWN

alpha-beta-CROWN is an efficient, scalable, and GPU accelerated neural network verifier that uses linear bound propagation and branch-and-bound methods to provide provable robustness guarantees against adversarial attacks and verify properties like Lyapunov stability. It is a winning solution in VNN-COMP from 2021 to 2024.

Key Information

  • Category: Evaluation and Monitoring
  • Source: Github
  • Tags: Python
  • Last updated: January 09, 2026

Structured Metrics

No structured metrics captured yet.

Links

Visit official website

Canonical source: https://github.com/Verified-Intelligence/alpha-beta-CROWN

Related Tools

AI Observer

Self-hosted, single-binary OpenTelemetry-compatible observability backend for AI coding assistants (e.g., Claude Code, Gemini CLI, OpenAI Codex CLI). Provides a real-time dashboard to track token usage, costs, API latency, error rates, and session activity with DuckDB storage, historical import/export, embedded pricing for 67+ models, and OTLP-native ingestion.
AI-DEBAT

AI-DEBAT is a Streamlit-based web app that enables users to pit two AI models against each other in a turn-based debate. Users select from models like OpenAI GPT-3.5/4, Anthropic Claude 3, Google Gemini, and Hugging Face models, provide respective API keys, and watch an interactive debate unfold with unused models acting as judges. It also allows downloading the final debate report.
Dataset to Model Monitor

A Hugging Face Space tool that automatically tracks and notifies users when new models are trained on a specified dataset (HuggingFaceM4/VQAv2). It leverages the librarian bot to post alerts in a discussion thread, enabling developers and researchers to keep up-to-date with models built on this dataset.
Dataset-to-Model Monitor

A tool that monitors datasets and tracks models trained on them, helping users manage and oversee AI model performance.
DeepEval

DeepEval is an open-source evaluation toolkit for AI models that provides advanced metrics for both text and multimodal outputs. It supports features like multimodal G-Eval, conversational evaluation using a list of Turns, and integrates platform support along with comprehensive documentation.
EleutherAI lm-evaluation-harness

An open-source framework for evaluating language models across dozens of academic benchmarks. It provides a unified CLI and YAML-configurable tasks for few/zero-shot evaluation, supports multiple backends (Hugging Face Transformers, vLLM, SGLang, GPT‑NeoX/Megatron, and OpenAI‑style APIs), and includes features like Jinja2 prompt design, post‑processing/answer extraction, PEFT/LoRA adapter evaluation, and prototype multimodal tasks. Widely used for standardized LLM benchmarking and Open LLM Leaderboard tasks.