---
title: "Repro - Lipschitz Continuous Transformers"
emoji: 🎯
colorFrom: yellow
colorTo: red
sdk: static
pinned: false
tags:
 - trackio
 - trackio-logbook
 - open-experiment
 - icml2026-repro
 - paper-OVBpXUvwMi
---

# Reproduction: Approximation Theory for Lipschitz Continuous Transformers

**Current verification:** the live judge awarded **8/10**. This revision
preserves Claims 1–3 byte-for-byte and upgrades only Claims 4–5 with Lean 4
formal evidence and failing theorem controls. Start at the
[Executive summary](#/executive-summary).

Claim 5's arbitrary compact-space density theorem is kernel checked. Claim 4's
universal deduction is kernel checked from the paper-class
lattice/interpolation premises; its exact matrix-level realization remains an
explicit MEDIUM-confidence boundary.

Previous live judged score: **8/10**. Conservative forecast after this
candidate: **9–10/10**; best-supported possible score: **10/10 (forecast, not
a judge result)**. The score does not change until the live judge evaluates
the published revision.