Loading the SOTA2 catalog…
Estimating problem difficulty without ground truth using Large Language Model comparisons · SOTA2 Research