TY  - RPRT
TI  - Formal Proofs as Structured Explanations: Proposing Several Tasks on Explainable Natural Language Inference
AU  - Lasha Abzianidze
PY  - 2025
UR  - https://arxiv.org/abs/2311.08637
ID  - 2311.08637
ER  -