| 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 | 45 | 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 | 35 | 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 | 28 | 2015 |
| 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 | 26 | 2016 |
| 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 | 23 | 2023 |
| 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 | 20 | 2014 |
| 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 |
| Protein folding neural networks are not robust SK Jha, A Ramanathan, R Ewetz, A Velasquez, S Jha arXiv preprint arXiv:2109.04460, 2021 | 16 | 2021 |
| 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 | 16 | 2021 |
| 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 | 13 | 2022 |
| Steady-State Policy Synthesis for Verifiable Control. A Velasquez IJCAI, 5653-5661, 2019 | 13 | 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 | 11 | 2022 |
| 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 | 11 | 2022 |
| 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 | 11 | 2021 |
| 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 | 10 | 2020 |
| 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 arXiv preprint arXiv:2309.04077, 2023 | 9 | 2023 |
| Shaping noise for robust attributions in neural stochastic differential equations SK Jha, R Ewetz, A Velasquez, A Ramanathan, S Jha Proceedings of the AAAI Conference on Artificial Intelligence 36 (9), 9567-9574, 2022 | 9 | 2022 |
| 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 | 9 | 2022 |
| Learning probabilistic reward machines from non-Markovian stochastic reward processes A Velasquez, A Beckus, T Dohmen, A Trivedi, N Topper, G Atia arXiv e-prints, arXiv: 2107.04633, 2021 | 9 | 2021 |
| Unsupervised competitive hardware learning rule for spintronic clustering architecture A Velasquez, CH Bennett, N Hassan, WH Brigner, OG Akinola, ... arXiv preprint arXiv:2003.11120, 2020 | 9 | 2020 |
