Follow
Alvaro Velasquez
Alvaro Velasquez
Program Manager, DARPA
Verified email at darpa.mil
Title
Cited by
Cited by
Year
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
452016
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
352016
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
272015
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
262016
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
202023
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
202014
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
172021
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
172015
Protein folding neural networks are not robust
SK Jha, A Ramanathan, R Ewetz, A Velasquez, S Jha
arXiv preprint arXiv:2109.04460, 2021
162021
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
132022
Steady-State Policy Synthesis for Verifiable Control.
A Velasquez
IJCAI, 5653-5661, 2019
132019
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
112022
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
112021
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
102022
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
102020
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
92023
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
92022
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
92022
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
92021
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
82020
The system can't perform the operation now. Try again later.
Articles 1–20