TY - RPRT TI - Learning as Abduction: Trainable Natural Logic Theorem Prover for Natural Language Inference AU - Lasha Abzianidze PY - 2020 UR - https://arxiv.org/abs/2010.15909 ID - 2010.15909 ER -