Loading the SOTA2 catalog…
K&K Logic Puzzles dataset and benchmarks · SOTA2 Research