Loading the SOTA2 catalog…
Mathematics on Erdős’ minimum overlap problem benchmark leaderboard · SOTA2 Research