Liu, X., Kodakandla, D., Srivastva, K., & Farooque, M. (2026). VeriTrans: Fine-Tuned LLM-Assisted NL-to-PL Translation via a Deterministic Neuro-Symbolic Pipeline.
Citazione stile Chigago Style (17a edizione)Liu, Xuan, Dheeraj Kodakandla, Kushagra Srivastva, e Mahfuza Farooque. VeriTrans: Fine-Tuned LLM-Assisted NL-to-PL Translation via a Deterministic Neuro-Symbolic Pipeline. 2026.
Citatione MLA (9a ed.)Liu, Xuan, et al. VeriTrans: Fine-Tuned LLM-Assisted NL-to-PL Translation via a Deterministic Neuro-Symbolic Pipeline. 2026.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.