Loading the SOTA2 catalog…
Logical Puzzles dataset and benchmarks · SOTA2 Research