@misc{indiciaefa75af7e816f,
  title = {Can Large Language Models Learn Formal Logic? A Data-Driven Training and Evaluation Framework},
  author = {Yuan Xia and Akanksha Atrey and Fadoua Khmaissia and Kedar S. Namjoshi},
  year = {2025},
  url = {https://arxiv.org/abs/2504.20213},
  note = {Source identifier: 2504.20213}
}