@misc{indiciae856be1da2ad6,
  title = {LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization},
  author = {Koushik Viswanadha and Deepanway Ghosal and Somak Aditya},
  year = {2025},
  url = {https://arxiv.org/abs/2506.18383},
  note = {Source identifier: 2506.18383}
}