| Dehallucinating large language models using formal methods guided iterative prompting S Jha, SK Jha, P Lincoln, ND Bastian, A Velasquez, S Neema 2023 IEEE International Conference on Assured Autonomy (ICAA), 149-152, 2023 | 61 | 2023 |
| Computation of boolean formulas using sneak paths in crossbar computing SK Jha, DE Rodriguez, JE Van Nostrand, A Velasquez US Patent 9,319,047, 2016 | 49 | 2016 |
| Flow-based computing on nanoscale crossbars: Design and implementation of full adders Z Alamgir, K Beckmann, N Cady, A Velasquez, SK Jha 2016 IEEE International Symposium on Circuits and Systems (ISCAS), 1870-1873, 2016 | 37 | 2016 |
| Automated synthesis of crossbars for nanoscale computing using formal methods A Velasquez, SK Jha Proceedings of the 2015 IEEE/ACM International Symposium on Nanoscale …, 2015 | 29 | 2015 |
| Saynav: Grounding large language models for dynamic planning to navigation in new environments A Rajvanshi, K Sikka, X Lin, B Lee, HP Chiu, A Velasquez Proceedings of the International Conference on Automated Planning and …, 2024 | 28 | 2024 |
| Parallel boolean matrix multiplication in linear time using rectifying memristors A Velasquez, SK Jha 2016 IEEE International Symposium on Circuits and Systems (ISCAS), 1874-1877, 2016 | 28 | 2016 |
| Parallel computing using memristive crossbar networks: Nullifying the processor-memory bottleneck A Velasquez, SK Jha 2014 9th International Design and Test Symposium (IDT), 147-152, 2014 | 22 | 2014 |
| Dynamic automaton-guided reward shaping for monte carlo tree search A Velasquez, B Bissey, L Barak, A Beckus, I Alkhouri, D Melcer, G Atia Proceedings of the AAAI Conference on Artificial Intelligence 35 (13), 12015 …, 2021 | 20 | 2021 |
| Inferring probabilistic reward machines from non-markovian reward signals for reinforcement learning T Dohmen, N Topper, G Atia, A Beckus, A Trivedi, A Velasquez Proceedings of the International Conference on Automated Planning and …, 2022 | 19 | 2022 |
| Domain wall leaky integrate-and-fire neurons with shape-based configurable activation functions WH Brigner, N Hassan, X Hu, CH Bennett, F Garcia-Sanchez, C Cui, ... IEEE Transactions on Electron Devices 69 (5), 2353-2359, 2022 | 19 | 2022 |
| Neurosymbolic reinforcement learning and planning: A survey K Acharya, W Raza, C Dourado, A Velasquez, HH Song IEEE Transactions on Artificial Intelligence, 2023 | 18 | 2023 |
| Protein folding neural networks are not robust SK Jha, A Ramanathan, R Ewetz, A Velasquez, S Jha arXiv preprint arXiv:2109.04460, 2021 | 18 | 2021 |
| Fault-tolerant in-memory crossbar computing using quantified constraint solving A Velasquez, SK Jha 2015 33rd IEEE International Conference on Computer Design (ICCD), 101-108, 2015 | 17 | 2015 |
| Taskclip: Extend large vision-language model for task oriented object detection H Chen, W Huang, Y Ni, S Yun, Y Liu, F Wen, A Velasquez, H Latapie, ... arXiv preprint arXiv:2403.08108, 2024 | 16 | 2024 |
| Translating omega-regular specifications to average objectives for model-free reinforcement learning M Kazemi, M Perez, F Somenzi, S Soudjani, A Trivedi, A Velasquez Proc. of the 21st International Conference on Autonomous Agents and …, 2022 | 16 | 2022 |
| Steady-State Policy Synthesis for Verifiable Control. A Velasquez IJCAI, 5653-5661, 2019 | 16 | 2019 |
| A differentiable approach to the maximum independent set problem using dataless neural networks IR Alkhouri, GK Atia, A Velasquez Neural Networks 155, 168-176, 2022 | 15 | 2022 |
| An extension of fano's inequality for characterizing model susceptibility to membership inference attacks SK Jha, S Jha, R Ewetz, S Raj, A Velasquez, LL Pullum, A Swami arXiv preprint arXiv:2009.08097, 2020 | 14 | 2020 |
| On smoother attributions using neural stochastic differential equations S Jha, R Ewetz, A Velasquez, S Jha 30th International Joint Conference on Artificial Intelligence (IJCAI), 2021, 2021 | 13 | 2021 |
| Counterexample guided inductive synthesis using large language models and satisfiability solving SK Jha, S Jha, P Lincoln, ND Bastian, A Velasquez, R Ewetz, S Neema MILCOM 2023-2023 IEEE Military Communications Conference (MILCOM), 944-949, 2023 | 11 | 2023 |
