Nham Le

According to our database, Nham Le authored at least 9 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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, Kunal Sheth, Christopher Stephens, Michael W. Whalen

Proceedings of the Formal Methods in Computer-Aided Design, 2024

Towards Robust Saliency Maps.

Nham Le, Arie Gurfinkel, Xujie Si, Chuqin Geng

Proceedings of the Asian Conference on Machine Learning, 2024

2023

Towards Reliable Neural Specifications.

Chuqin Geng, Nham Le, Xiaojie Xu, Zhaoyue Wang, Arie Gurfinkel, Xujie Si

Proceedings of the International Conference on Machine Learning, 2023

2022

Toward Reliable Neural Specifications.

Chuqin Geng, Nham Le, Xiaojie Xu, Zhaoyue Wang, Arie Gurfinkel, Xujie Si

CoRR, 2022

2021

Data-driven Optimization of Inductive Generalization.

Nham Le, Xujie Si, Arie Gurfinkel

Proceedings of the Formal Methods in Computer Aided Design, 2021

2020

AutoNLU: An On-demand Cloud-based Natural Language Understanding System for Enterprises.

Nham Le, Tuan Manh Lai, Trung Bui, Doo Soon Kim

Proceedings of the 1st Conference of the Asia-Pacific Chapter of the Association for Computational Linguistics and the 10th International Joint Conference on Natural Language Processing: System Demonstrations, 2020

Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability Analysis.

Hongce Zhang, Maxwell Shinn, Aarti Gupta, Arie Gurfinkel, Nham Le, Nina Narodytska

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Explain by Evidence: An Explainable Memory-based Neural Network for Question Answering.

Quan Hung Tran, Nhan Dam, Tuan Manh Lai, Franck Dernoncourt, Trung Le, Nham Le, Dinh Phung

Proceedings of the 28th International Conference on Computational Linguistics, 2020

2018

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