Spaces:
Running
Running
File size: 852 Bytes
6ac4e0e 1f2e1bc 6ac4e0e 1f2e1bc 6ac4e0e 819b602 1f2e1bc 819b602 3445f49 819b602 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 | ---
title: "Convex Distance Operator Transport (nPC7M7XLEv)"
emoji: 🎯
colorFrom: yellow
colorTo: red
sdk: static
pinned: false
tags:
- trackio
- trackio-logbook
- open-experiment
- icml2026-repro
- paper-nPC7M7XLEv
---
# CDOT reproduction — Lean kernel verification added
The previous live score is **9/12** at revision `e7c9bd313c5bc8f5d252f0f5ac2dce3e087ba032`. This
additive candidate addresses the only remaining deductions—Claims 1, 2, and
6—with pinned Lean 4.19.0/mathlib kernel checks, an independent replay, and a
false-theorem negative control. It is a forecasted improvement, not a new
judge score.
Open the logbook at **CURRENT — CDOT kernel-checked claim reproduction**.
Every file from the 9/12 revision remains preserved; the rejected human-only
theoretical pages are reachable under **Historical rejected baseline**.
|