System

Dev

Test

LA

Fever
Score

LA

Fever
Score

Using Retriever from Liu et al. (2020)

80.23
ProoFVer
ProoFVer-MV 78.71
79.83
ProoFVer-A
77.42
ProoFVer-AR
KGAT
78.29
79.12
CorefBERT

78.17
74.62
76.33
75.27
76.11
77.46

79.25
74.18
77.16

–

74.07
75.96

74.37
70.09
72.47

–

70.38
72.30

Using Retriever from Stammbach (2021)

ProoFVer-SB
DominikS

80.74
80.59

79.07
78.37

79.47
79.16

76.82
76.78

Table 3: Fact verification results on FEVER.

KEPLER

Training
Classifier
Data Size Accuracy
1,800
6,000
18,000
30,000
45,000
60,000

69.07
74.02
79.67
80.61
82.76
84.85

ProoFVer

-K-NoS (LA)

-K (LA)

64.65
68.86
74.25
75.39
77.62
78.61

66.73
72.41
76.23
77.76
78.84
79.67

Table 4: LA of ProoFVer-K and -NoS using pre-
dictions from KEPLER. Training data size used
for KEPLER and its classifier accuracy is also
provided.
ProoFVer- Natural Logic Theorem Proving for Fact Verification