Visual-Textual Entailment with Quantities Using Model Checking and Knowledge Injection. - Nobuyuki Iokawa; Hitomi Yanaka (LREC/COLING, 2024)