LOGICPO: Efficient Translation of NL-based Logical Problems to FOL using LLMs and Preference Optimization. - Koushik Viswanadha; Deepanway Ghosal; Somak Aditya (CoRR, 2025)