TY  - RPRT
TI  - ProoFVer: Natural Logic Theorem Proving for Fact Verification
AU  - Amrith Krishna
AU  - Sebastian Riedel
AU  - Andreas Vlachos
PY  - 2022
UR  - https://arxiv.org/abs/2108.11357
ID  - 2108.11357
ER  -