QED-Nano is a B2B product built for AI researchers and mathematicians.

Does QED-Nano have a free plan?

Yes — QED-Nano is free to use.

What platforms does QED-Nano run on?

QED-Nano runs on the web. It can also be self-hosted.

Is QED-Nano still maintained?

Unverified. QED-Nano has not been re-checked since it entered the index, so there is no finding either way — and only a positive finding would say otherwise.

What projects are similar to QED-Nano?

Similar projects tracked by PulseGate include ase-python, constraintloop, and trajectory-judge.

QED-Nano is developed by lm-provers.

How long has QED-Nano been around?

QED-Nano first shipped in 2024.

Back to the index

QED-Nano

Name: QED-Nano
Author: lm-provers

huggingface.coLLM eval & observability

QED-Nano is a web-based tool for visualizing and comparing AI models on theorem-proving benchmarks. It provides interactive scatter plots and detailed data for researchers and mathematicians interested in AI model evaluation.

FreeWebSelf-hostedCloud-managed

Visit huggingface.co

Overview

5 features

In the LLM eval & observability space, QED-Nano takes a focused approach. It focuses on comparing AI models' performance on theorem-proving benchmarks visually and interactively. QED-Nano is a B2B product aimed at AI researchers and mathematicians. QED-Nano costs nothing to use. QED-Nano is available on the web, and it can be self-hosted.

It is developed by lm-provers, and it first shipped in 2024. Key capabilities include model comparison, scatter plot visualization, and benchmark data.

Summary written by a language model from the project’s public pages.

Model comparison
Scatter plot visualization
Benchmark data
Interactive tooltips
Automatic data loading

Built with & integrations

Hosting

AWS

AI providers

meta_llamalocal_oss

Runs on

BrowserSelf-hostedCloud-managed

Detected from

AWS: x-amz-cf-id header · x-amz-cf-pop header · via header
local_oss: huggingface in the HTML
meta_llama: llama- in the HTML

Trust & compliance

Verified signals

HTTPSFree tier

Indexing history

What PulseGate has recorded for this listing

Indexed10 Jul · 22:24 UTC
lm-provers/qed-nano-blogpost verified against its public source
Source: PulseGate · Open

Frequently asked questions about QED-Nano

What does QED-Nano do?: QED-Nano focuses on comparing AI models' performance on theorem-proving benchmarks visually and interactively. It is catalogued under LLM eval & observability on PulseGate.
Who is QED-Nano for?: QED-Nano is a B2B product built for AI researchers and mathematicians.
Does QED-Nano have a free plan?: Yes — QED-Nano is free to use.
What platforms does QED-Nano run on?: QED-Nano runs on the web. It can also be self-hosted.
Is QED-Nano still maintained?: Unverified. QED-Nano has not been re-checked since it entered the index, so there is no finding either way — and only a positive finding would say otherwise.
What projects are similar to QED-Nano?: Similar projects tracked by PulseGate include ase-python, constraintloop, and trajectory-judge.ase-python constraintloop trajectory-judge
Who makes QED-Nano?: QED-Nano is developed by lm-provers.
How long has QED-Nano been around?: QED-Nano first shipped in 2024.

At a glance

Pricing: Free
Platforms: Web
Languages: English
Built for: AI researchers and mathematicians
Model: B2B
Solves: Comparing AI models' performance on theorem-proving benchmarks visually and interactively.

Registered as

Hugging Face Spaces: lm-provers/qed-nano-blogpost

Developer

lm-provers

Live coverage

Identity confidence: High · 92.6
Indexed: 10 Jul 2026
Lifecycle: Unverified
Last seen: 10 Jul 2026

Identity audit (12)

Slug: lm-provers-qed-nano-blogpost-huggingface-co
Verification state: Indexed for public listing
Listing state: Listed: yes
Index status: Included in index
Latest evidence snapshot: 10 Jul 2026
Timeline basis: Indexed-at chronology. This listing's first-seen date was written by the catalog backfill, not observed here, so it is not treated as a sighting.
Name from: Derived from the project's own page and URL.
Category from: Assigned by a language model.
Summary from: Written by a language model from public pages.
Languages from: Detected by a language model from page content.
Last updated: 22 Jul 2026
Canonical URL: https://huggingface.co/spaces/lm-provers/qed-nano-blogpost

Ship this? Send a correction — no account, and you get a link to follow it.

Also in LLM eval & observability

Same category — not a similarity match