Share your thoughts, 1 month free Claude Pro on usSee more
WorkDL logo mark

First-order logical inference on FOLIO-wiki (testable)

87.45Accuracy

CR

31.165245.777660.3975.0024Aug 8, 2023
Updated 1mo ago

Evaluation Results

MethodLinks
2023.08
87.45
2023.08
85.02
2023.08
84.46
2023.08
80.52
2023.08
73.03
2023.08
72.1
2023.08
70.79
2023.08
67.42
2023.08
67.42
2023.08
64.61
2023.08
63.33
2023.08
62.92
2023.08
53.37
2023.08
52.43
2023.08
49.06
2023.08
44.75
2023.08
33.33