A System for Automated Image Editing from Natural Language Commands. - Jacqueline Brixey; Ramesh R. Manuvinakurike; Nham Le; Tuan Manh Lai; Walter Chang; Trung Bui (CoRR, 2018)

Explain by Evidence: An Explainable Memory-based Neural Network for Question Answering. - Quan Hung Tran; Nhan Dam; Tuan Manh Lai; Franck Dernoncourt; Trung Le 001; Nham Le; Dinh Phung 001 (COLING, 2020)

Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability Analysis. - Hongce Zhang; Maxwell Shinn; Aarti Gupta; Arie Gurfinkel; Nham Le; Nina Narodytska (ECAI, 2020)

AutoNLU: An On-demand Cloud-based Natural Language Understanding System for Enterprises. - Nham Le; Tuan Manh Lai; Trung Bui; Doo Soon Kim (AACL/IJCNLP (System Demonstrations), 2020)

Data-driven Optimization of Inductive Generalization. - Nham Le; Xujie Si; Arie Gurfinkel (FMCAD, 2021)

Toward Reliable Neural Specifications. - Chuqin Geng; Nham Le; Xiaojie Xu; Zhaoyue Wang; Arie Gurfinkel; Xujie Si (CoRR, 2022)

Towards Reliable Neural Specifications. - Chuqin Geng; Nham Le; Xiaojie Xu; Zhaoyue Wang; Arie Gurfinkel; Xujie Si (ICML, 2023)

Towards Robust Saliency Maps. - Nham Le; Arie Gurfinkel; Xujie Si; Chuqin Geng (ACML, 2024)

SMT-D: New Strategies for Portfolio-Based SMT Solving. - Clark W. Barrett; Pei-Wei Chen; Byron Cook; Bruno Dutertre; Robert B. Jones; Nham Le; Andrew Reynolds 001; Kunal Sheth; Christopher Stephens; Michael W. Whalen (FMCAD, 2024)