The L1 STATE files contain the following data, sampled at one-minute intervals: * probe position and velocity in GEI, GSE, and GSM coordinates; * flags to indicate regio
Transcripts and annotated transcripts for training Self-Proving Models to compute the Greatest Common Divisor (GCD) of two integers. Integers are encoded in base 210. Full details of the tokenization
This data consists of the Spacecraft Potential and the Plasma Density, at spacecraft burst resolution, where the Plasma Density is obtained as a function, provided by Dr. Jack Scudder, the PI of the P
THEMIS Ground All Sky Imager at 32 x 32 pixel resolution images of auroral oval. The ASI stations monitor a 170 degree field of view imaging the auroral oval at kilometer resolution. The ASI is comp
