VeriTrans: Fine-Tuned LLM-Assisted NL-to-PL Translation via a Deterministic Neuro-Symbolic Pipeline. - Xuan Liu; Dheeraj Kodakandla; Kushagra Srivastva; Mahfuza Farooque (CoRR, 2026)