The Karp Dataset. - Mason DiCicco; Eamon Worden; Conner Olsen; Nikhil Gangaram; Daniel Reichman 001; Neil T. Heffernan (CoRR, 2025)