TY - RPRT TI - LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization AU - Koushik Viswanadha AU - Deepanway Ghosal AU - Somak Aditya PY - 2025 UR - https://arxiv.org/abs/2506.18383 ID - 2506.18383 ER -