README.md

metadata

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.

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.