Alvaro Velasquez
Alvaro Velasquez
Program Manager, DARPA
Verified email at
Cited by
Cited by
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
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
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
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
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
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
Protein folding neural networks are not robust
SK Jha, A Ramanathan, R Ewetz, A Velasquez, S Jha
arXiv preprint arXiv:2109.04460, 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
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
Steady-State Policy Synthesis for Verifiable Control.
A Velasquez
IJCAI, 5653-5661, 2019
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
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
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
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
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
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
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
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
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
Steady-State Policy Synthesis in Multichain Markov Decision Processes.
GK Atia, A Beckus, I Alkhouri, A Velasquez
IJCAI, 4069-4075, 2020
The system can't perform the operation now. Try again later.
Articles 1–20