Loading the SOTA2 catalog…
Logical Reasoning on RP LP Domain, Npred ≤ 30, δ ≤ 6 benchmark leaderboard · SOTA2 Research