@article{xia2025logic,
  title   = {Can Large Language Models Learn Formal Logic? A Data-Driven Training and Evaluation Framework},
  author  = {Xia, Yuan and Atrey, Akanksha and Khmaissia, Fadoua and Namjoshi, Kedar S.},
  journal = {arXiv preprint arXiv:2504.20213},
  year    = {2025}
}