Nham Le

11 papers A* 1A 1B 3C 1Journal 4Unranked 1
YearRankTypeTitle / Venue / Authors
2024 B conf
SMT-D: New Strategies for Portfolio-Based SMT Solving.
FMCAD
Clark W. Barrett, Pei-Wei Chen, Byron Cook, Bruno Dutertre, Robert B. Jones, Nham Le, Andrew Reynolds, Kunal Sheth, Christopher Stephens, Michael W. Whalen
2024 C conf
Towards Robust Saliency Maps.
ACML
Nham Le, Arie Gurfinkel, Xujie Si, Chuqin Geng
2023 A* conf
Towards Reliable Neural Specifications.
ICML
Chuqin Geng, Nham Le, Xiaojie Xu, Zhaoyue Wang, Arie Gurfinkel, Xujie Si
2022 J jnl
Toward Reliable Neural Specifications.
CoRR
Chuqin Geng, Nham Le, Xiaojie Xu, Zhaoyue Wang, Arie Gurfinkel, Xujie Si
2021 B conf
Data-driven Optimization of Inductive Generalization.
FMCAD
Nham Le, Xujie Si, Arie Gurfinkel
2020 — conf
AutoNLU: An On-demand Cloud-based Natural Language Understanding System for Enterprises.
AACL/IJCNLP (System Demonstrations)
Nham Le, Tuan Manh Lai, Trung Bui, Doo Soon Kim
2020 J jnl
AutoNLU: An On-demand Cloud-based Natural Language Understanding System for Enterprises.
CoRR
Nham Le, Tuan Manh Lai, Trung Bui, Doo Soon Kim
2020 B conf
Explain by Evidence: An Explainable Memory-based Neural Network for Question Answering.
COLING
Quan Hung Tran, Nhan Dam, Tuan Manh Lai, Franck Dernoncourt, Trung Le, Nham Le, Dinh Phung
2020 J jnl
Explain by Evidence: An Explainable Memory-based Neural Network for Question Answering.
CoRR
Quan Hung Tran, Nhan Dam, Tuan Manh Lai, Franck Dernoncourt, Trung Le, Nham Le, Dinh Phung
2020 A conf
Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability Analysis.
ECAI
Hongce Zhang, Maxwell Shinn, Aarti Gupta, Arie Gurfinkel, Nham Le, Nina Narodytska
2018 J jnl
A System for Automated Image Editing from Natural Language Commands.
CoRR
Jacqueline Brixey, Ramesh R. Manuvinakurike, Nham Le, Tuan Manh Lai, Walter Chang, Trung Bui