TY - RPRT TI - Entailment-Preserving First-order Logic Representations in Natural Language Entailment AU - Jinu Lee AU - Qi Liu AU - Runzhi Ma AU - Vincent Han AU - Ziqi Wang AU - Heng Ji AU - Julia Hockenmaier PY - 2025 UR - https://arxiv.org/abs/2502.16757 ID - 2502.16757 ER -