aThe FindFoci algorithm was trained on individual images and the highest F1-score reported and averaged over the 21 images per experimenter. The analysis was performed using the original selected pixe
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
