Nham Le
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2020–2024
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ACML | Towards Robust Saliency Maps. | Nham Le, Arie Gurfinkel, Xujie Si, Chuqin Geng |
| 2024 | FMCAD | 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 |
| 2023 | ICML | Towards Reliable Neural Specifications. | Chuqin Geng, Nham Le, Xiaojie Xu, Zhaoyue Wang, Arie Gurfinkel, Xujie Si |
| 2021 | FMCAD | Data-driven Optimization of Inductive Generalization. | Nham Le, Xujie Si, Arie Gurfinkel |
| 2020 | COLING | 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 |
| 2020 | ECAI | Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability Analysis. | Hongce Zhang, Maxwell Shinn, Aarti Gupta, Arie Gurfinkel, Nham Le, Nina Narodytska |
| 2020 | IJCNLP | AutoNLU: An On-demand Cloud-based Natural Language Understanding System for Enterprises. | Nham Le, Tuan Manh Lai, Trung Bui, Doo Soon Kim |