| 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 | 29 | 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 | 19 | 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 | 8 | 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 | 6 | 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 | 3 | 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 | | 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 | | |
