Skip to content
resolvent
Proof atlas
Initializing search
teerthsharma/resolvent
Home
R-JEPA
Lineage: status
Lineage: North Star
Lineage: proof atlas
Lineage: paper
resolvent
teerthsharma/resolvent
Home
R-JEPA
R-JEPA
Set operators for JEPA planning (README)
Prior art and what was withdrawn
Bound results
Lineage: status
Lineage: North Star
Lineage: proof atlas
Lineage: paper
Lineage: paper
The experiment, in full
The shape of CEQ
Status, in full
North Star: the forward S-matrix reconciliation
The record
The record
Everything retracted, broken or open
Component ledger
Research plan
Corner rule retirement
Kaggle card
DR2 card
Pre-registration: BED-H
Pre-registration: REMOVAL-ECHO v1
Certificate C9: the NEVER residue
What the dispatcher got wrong, 2026-09-20
Phase G: spectral
Phase H: bind
Phase I: calibrate and cost
Phase I.1: repair
Prior art: the mass gate
Ledgers
Ledgers
Failure mechanisms
Struck constants
Mathematics
Model card
Costs
V17K rulings
V16 calibration
Canon
Canon
Charter
01 Theory of accuracy
02 Theory of training
03 Kernel
04 Beds and instruments
05 Repairs
06 Predictions
08 Architecture
09 Chess and markets
Corrections
Paper sources
Bibliography audit
Bibliography aliases
Proof atlas
#
Every theorem and lemma in the Lean 4 development, and what each one uses.
Back to top