| Verification of recurrent neural networks for cognitive tasks via reachability analysis H Zhang, M Shinn, A Gupta, A Gurfinkel, N Le, N Narodytska ECAI 2020, 1690-1697, 2020 | 34 | 2020 |
| Generating modified digital images utilizing a multimodal selection model based on verbal and gesture input T Bui, Z Lin, W Chang, N Le, F Dernoncourt US Patent 10,817,713, 2020 | 25 | 2020 |
| Towards reliable neural specifications C Geng, N Le, X Xu, Z Wang, A Gurfinkel, X Si International Conference on Machine Learning, 11196-11212, 2023 | 18 | 2023 |
| Explain by evidence: An explainable memory-based neural network for question answering Q Tran, N Dam, T Lai, F Dernoncourt, T Le, N Le, D Phung arXiv preprint arXiv:2011.03096, 2020 | 7 | 2020 |
| Dynamic person queue analytics VT To, F Jiang, N Van Le, H Latapie, E Fenoglio US Patent 10,509,969, 2019 | 6 | 2019 |
| A system for automated image editing from natural language commands J Brixey, R Manuvinakurike, N Le, T Lai, W Chang, T Bui arXiv preprint arXiv:1812.01083, 2018 | 6 | 2018 |
| Data-driven Optimization of Inductive Generalization N Le, X Si, A Gurfinkel CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN–FMCAD 2021, 86-95, 2021 | 4 | 2021 |
| Generating modified digital images utilizing a dispersed multimodal selection model T Bui, Z Lin, W Chang, N Le, F Dernoncourt US Patent 11,594,077, 2023 | 1 | 2023 |
| TeaDsa: Type-aware DSA-style pointer analysis for low level code J Kuderski, N Lê, A Gurfinkel, J Navas FMCAD, 2018 | 1 | 2018 |
| Verifying Explanations for Neural Networks N Le University of Waterloo, 2024 | | 2024 |
| Towards Robust Saliency Maps N Le, A Gurfinkel, X Si, C Geng The 16th Asian Conference on Machine Learning (Conference Track), 2024 | | 2024 |
| SMT-D: New strategies for portfolio-based SMT solving C Barrett, PW Chen, B Cook, B Dutertre, RB Jones, N Le, A Reynolds, ... # PLACEHOLDER_PARENT_METADATA_VALUE#, 39-48, 2024 | | 2024 |
| Formal verification L de Moura, J Lee, H Becker, J Harrison, C Barrett, PW Chen, B Cook, ... Policy, 2023 | | 2023 |
| AutoNLU: An On-demand Cloud-based Natural Language Understanding System for Enterprises N Le, T Lai, T Bui, DS Kim arXiv preprint arXiv:2011.13470, 2020 | | 2020 |
| Collecting multimodal image editing requests TH Bui, Z Lin, WWT Chang, N Van Le, F Dernoncourt US Patent 10,769,495, 2020 | | 2020 |
| Reinforcement Learning Guided Software Debloating N Le Van, A Gehani, A Gurfinkel, S Jha, JA Navas | | |