TY  - RPRT
TI  - Can Large Language Models Learn Formal Logic? A Data-Driven Training and Evaluation Framework
AU  - Yuan Xia
AU  - Akanksha Atrey
AU  - Fadoua Khmaissia
AU  - Kedar S. Namjoshi
PY  - 2025
UR  - https://arxiv.org/abs/2504.20213
ID  - 2504.20213
ER  -