@misc{indiciaed921b97f296a,
  title = {VeriTrans: Fine-Tuned LLM-Assisted NL-to-PL Translation via a Deterministic Neuro-Symbolic Pipeline},
  author = {Xuan Liu and Dheeraj Kodakandla and Kushagra Srivastva and Mahfuza Farooque},
  year = {2026},
  url = {https://arxiv.org/abs/2604.10341},
  note = {Source identifier: 2604.10341}
}