Folgen
Alvaro Velasquez
Alvaro Velasquez
Program Manager, DARPA
Bestätigte E-Mail-Adresse bei darpa.mil
Titel
Zitiert von
Zitiert von
Jahr
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
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
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
172023
Protein folding neural networks are not robust
SK Jha, A Ramanathan, R Ewetz, A Velasquez, S Jha
arXiv preprint arXiv:2109.04460, 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
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
152021
Steady-State Policy Synthesis for Verifiable Control.
A Velasquez
IJCAI, 5653-5661, 2019
142019
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
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
102022
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
102021
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
92022
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
92020
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
82022
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
82022
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
82021
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
82020
Steady-State Policy Synthesis in Multichain Markov Decision Processes.
GK Atia, A Beckus, I Alkhouri, A Velasquez
IJCAI, 4069-4075, 2020
82020
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20