Skip to page content
SAVRN
Search Plan a project

Independent publisher

Litvak Ivan

TryDotAtwo

LLM

Models in Library0
Datasets in Library1
Models on Hugging Face3
Followers1

Compare the published evidence

This profile connects the 1 model and dataset record shown below to their upstream cards and sources. The library counts describe SAVRN's coverage, rather than this publisher's entire output.

Compare model specifications, source dates, and hardware estimates on the individual records. Publisher identity verification is separate from a model's quality, deployment readiness, or suitability for your work.

Datasets

Synthetic full-matrix CNOT synthesis data for the all-to-all unit-cost alphabet. fullsharednativeholdout20261001.sqlite contains one shared holdout store with 1792 dev and 1792 test roots. The matrix widths are 8, 10, 13, 25, 26, 34, 45, 50, 58, 72, 90, 108, 122 and 144. Root families are walk mixture (ordinary/Poisson), guarded exact, basis shear and composition. Each root includes the full matrix, complete verified reduction certificates, seed, split and lineage, an audit, canonical matrix identity and a content digest. Exact distance is only present when a separate lower-bound certificate supports the complete upper-bound word. Non-exact compiler words are upper bounds. The eight guarded…

Publicly accessible