indexo.dev

abcrown.org

.org crawl

First seen 2026-04-26 · Last seen 2026-05-16 · ok HTTP/1.1 200 2362 ms crawled 2026-05-02

US · 172.67.179.139 · AS13335 Cloudflare, Inc.

Reputation 100/100

sector tech type homepage

HTML metadata

Title
GitHub - Verified-Intelligence/alpha-beta-CROWN: alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, 2024, 2025) · GitHub
Description
alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, 2024, 2025) - Verified-Intelligence/alpha-beta-CROWN
Language
en

Open Graph

url
https://github.com/Verified-Intelligence/alpha-beta-CROWN
title
GitHub - Verified-Intelligence/alpha-beta-CROWN: alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, 2024, 2025)
site name
GitHub
description
alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, 2024, 2025) - Verified-Intelligence/alpha-beta-CROWN

Technology

CDN
GitHub Pages
Server
github.com

Third-party hosts loaded (6)

  • github.githubassets.com×122
  • github.com×3
  • avatars.githubusercontent.com×2
  • camo.githubusercontent.com×2
  • github-cloud.s3.amazonaws.com×1
  • user-images.githubusercontent.com×1

Social

Registration

Registrar
NameSilo, LLC
Created
2022-02-08
Expires
2028-02-08 629 days left
Updated
2025-07-15
Name servers
  • fred.ns.cloudflare.com
  • sue.ns.cloudflare.com

DNS records live

NS
  • fred.ns.cloudflare.com
  • sue.ns.cloudflare.com

Certificate (current)

WE1
from 2026-04-05 to 2026-07-04
Expires in 46 days

Full certificate history on crt.sh ↗

Links to (9)

Linked from (1)