VeriTrans: Fine-Tuned LLM-Assisted NL→PL Translation via a Deterministic Neuro-symbolic Pipeline

Proceedings of the 3rd ACM International Conference on AI-Powered Software 2026 Open access

Read full text
Authors: X M Liu, Dheeraj Kodakandla, Kushagra Srivastva, Mahfuza Farooque
DOI: 10.1145/3805760.3814906
Cited by: 1
References: 16

Fields of Study & Subjects

Natural Language Processing Techniques Topic Modeling Text Readability and Simplification

Publication details

Journal / source
Proceedings of the 3rd ACM International Conference on AI-Powered Software
Publisher
ACM
Pages
160–167
Publication date
5 July 2026