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 is a dataset containing raw "uncompressed" diffraction data from 2 samples The compression used, to generate the cbf files can be derived from the filenames: BINx: pixel binning by a factor x
Spherical cameras capture scenes in a holistic manner and have been used for room layout estimation. Recently, with the availability of appropriate datasets, there has also been progress in depth esti
