Xuan Liu, Dheeraj Kodakandla, Kushagra Srivastva, Mahfuza Farooque. VeriTrans: Fine-Tuned LLM-Assisted NL→PL Translation via a Deterministic Neuro-symbolic Pipeline. In Tse-Hsun (Peter) Chen, Chao Peng, Baishakhi Ray, editors, Proceedings of the 3rd ACM International Conference on AI-Powered Software, AIware 2026, Montreal, QC, Canada, July 6-7, 2026. pages 160-167, ACM, 2026. [doi]
Abstract is missing.