Alvaro Velasquez

183 papers A* 20A 7B 8C 16Misc 4Journal 97Unranked 31
YearRankTypeTitle / Venue / Authors
2026 J jnl
Active Causal Experimentalist (ACE): Learning Intervention Strategies via Direct Preference Optimization.
CoRR
Patrick Cooper, Alvaro Velasquez
2026 J jnl
Average Reward Reinforcement Learning for Omega-Regular and Mean-Payoff Objectives.
J. Artif. Intell. Res.
Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez
2026 J jnl
Differentiable Initialization-Accelerated CPU-GPU Hybrid Combinatorial Scheduling.
CoRR
Mingju Liu, Jiaqi Yin, Alvaro Velasquez, Cunxi Yu
2026 J jnl
GaloisSAT: Differentiable Boolean Satisfiability Solving via Finite Field Algebra.
CoRR
Curie Kim, Carsten Portner, Mingju Liu, Steve Dai, Haoxing Ren, Brucek Khailany, Alvaro Velasquez, Ismail Alkhouri, Cunxi Yu
2026 J jnl
HIPO: Instruction Hierarchy via Constrained Reinforcement Learning.
CoRR
Keru Chen, Jun Luo, Sen Lin, Yingbin Liang, Alvaro Velasquez, Nathaniel Bastian, Shaofeng Zou
2026 J jnl
Monotonicity as an Architectural Bias for Robust Language Models.
CoRR
Patrick Cooper, Alireza Nadali, Ashutosh Trivedi, Alvaro Velasquez
2026 J jnl
Neuro-symbolic agentic AI: Architectures, integration patterns, applications, open challenges and future research directions.
Comput. Sci. Rev.
Safayat Bin Hakim, Muhammad Adil, Alvaro Velasquez, Houbing Herbert Song
2026 J jnl
Neurosymbolic LoRA: Why and When to Tune Weights vs. Rewrite Prompts.
CoRR
Kevin Wang, Neel P. Bhatt, Cong Liu, Junbo Li, Runjin Chen, Yihan Xi, Timothy Barclay, Alvaro Velasquez, Ufuk Topcu, Zhangyang Wang
2026 A* conf
On the Dataless Training of Neural Networks.
AAAI
Alvaro Velasquez, Susmit Jha, Ismail R. Alkhouri
2026 J jnl
Search-Augmented Masked Diffusion Models for Constrained Generation.
CoRR
Huu Binh Ta, Michael Cardei, Alvaro Velasquez, Ferdinando Fioretto
2025 J jnl
A Dataless Reinforcement Learning Approach to Rounding Hyperplane Optimization for Max-Cut.
CoRR
Gabriel Malikal, Ismail Alkhouri, Alvaro Velasquez, Adam M. Alessio, Saiprasad Ravishankar
2025 J jnl
A Scalable Lift-and-Project Differentiable Approach For the Maximum Cut Problem.
CoRR
Ismail Alkhouri, Mian Wu, Cunxi Yu, Jia Liu, Rongrong Wang, Alvaro Velasquez
2025 J jnl
A Survey of Sim-to-Real Methods in RL: Progress, Prospects and Challenges with Foundation Models.
CoRR
Longchao Da, Justin Turnau, Thirulogasankar Pranav Kutralingam, Alvaro Velasquez, Paulo Shakarian, Hua Wei
2025 J jnl
ANSR-DT: An Adaptive Neuro-Symbolic Learning and Reasoning Framework for Digital Twins.
CoRR
Safayat Bin Hakim, Muhammad Adil, Alvaro Velasquez, Houbing Herbert Song
2025 J jnl
Advancing discrete optimization: novel approaches with dataless neural networks.
J. Comb. Optim.
Sangram K. Jena, K. Subramani, Alvaro Velasquez
2025 J jnl
Automatic biomarker discovery and enrichment with BRAD.
Bioinform.
Joshua Pickard, Ram Prakash, Marc Andrew Choi, Natalie Oliven, Cooper Stansbury, Jillian Cwycyshyn, Nicholas Galioto, Alex A. Gorodetsky, Alvaro Velasquez, Indika Rajapakse
2025 J jnl
Average Reward Reinforcement Learning for Omega-Regular and Mean-Payoff Objectives.
CoRR
Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez
2025 — conf
Bidirectional End-to-End Framework for Transfer from Abstract Models in Non-Markovian Reinforcement Learning.
NeuS
Mahyar Alinejad, Precious Nwaorgu, Chinwendu Enyioha, Yue Wang, Alvaro Velasquez, George K. Atia
2025 B conf
Consensus-based Decentralized Multi-agent Reinforcement Learning for Random Access Network Optimization.
MobiHoc
Myeung Suk Oh, Zhiyao Zhang, Hairi, Alvaro Velasquez, Jia Liu
2025 J jnl
Consensus-based Decentralized Multi-agent Reinforcement Learning for Random Access Network Optimization.
CoRR
Myeung Suk Oh, Zhiyao Zhang, Hairi, Alvaro Velasquez, Jia Liu
2025 J jnl
Correction to: Farkas Bounds on Horn Constraint Systems.
Theory Comput. Syst.
K. Subramani, Piotr Wojciechowski, Alvaro Velasquez
2025 J jnl
DEM-NeRF: A Neuro-Symbolic Method for Scientific Discovery through Physics-Informed Simulation.
CoRR
Wenkai Tan, Alvaro Velasquez, Houbing Song
2025 A* conf
Differentiable Quadratic Optimization For the Maximum Independent Set Problem.
ICML
Ismail Alkhouri, Cedric Le Denmat, Yingjie Li, Cunxi Yu, Jia Liu, Rongrong Wang, Alvaro Velasquez
2025 J jnl
Efficient Neuro-Symbolic Retrieval-Augmented Generation through Adaptive Query Routing.
CoRR
Safayat Bin Hakim, Muhammad Adil, Alvaro Velasquez, Houbing Herbert Song
2025 J jnl
Exploring cycle cover variants: A dataless neural networks approach.
Neurocomputing
Sangram K. Jena, K. Subramani, Alvaro Velasquez
2025 A* conf
Finite-Time Global Optimality Convergence in Deep Neural Actor-Critic Methods for Decentralized Multi-Agent Reinforcement Learning.
ICML
Zhiyao Zhang, Myeung Suk Oh, Hairi, Ziyue Luo, Alvaro Velasquez, Jia Liu
2025 J jnl
Finite-Time Global Optimality Convergence in Deep Neural Actor-Critic Methods for Decentralized Multi-Agent Reinforcement Learning.
CoRR
Zhiyao Zhang, Myeung Suk Oh, Hairi, Ziyue Luo, Alvaro Velasquez, Jia Liu
2025 J jnl
Foundation Models for Logistics: Toward Certifiable, Conversational Planning Interfaces.
CoRR
Yunhao Yang, Neel P. Bhatt, Christian Ellis, Alvaro Velasquez, Zhangyang Wang, Ufuk Topcu
2025 J jnl
From Abstraction to Reality: DARPA's Vision for Robust Sim-to-Real Autonomy.
CoRR
Erfaun Noorani, Zachary Serlin, Ben Price, Alvaro Velasquez
2025 J jnl
From abstraction to reality: DARPA's vision for robust sim-to-real autonomy.
AI Mag.
Erfaun Noorani, Zachary Serlin, Ben Price, Alvaro Velasquez
2025 J jnl
Generative AI for Biosciences: Emerging Threats and Roadmap to Biosecurity.
CoRR
Zaixi Zhang, Souradip Chakraborty, Amrit Singh Bedi, Emilin Mathew, Varsha Saravanan, Le Cong, Alvaro Velasquez, Sheng Lin-Gibson, Megan Blewett, Dan Hendrycs, Alex John London, Ellen Zhong, Ben Raphael, Jian Ma, Eric Xing, Russ Altman, George Church, Mengdi Wang
2025 Misc conf
Hybrid Offline Passive Grammatical Inference and Online Planning for Non-Markovian Tasks.
ICASSP
Mahyar Alinejad, Alvaro Velasquez, Yue Wang, George K. Atia
2025 A* conf
Immune: Improving Safety Against Jailbreaks in Multi-modal LLMs via Inference-Time Alignment.
CVPR
Soumya Suvra Ghosal, Souradip Chakraborty, Vaibhav Singh, Tianrui Guan, Mengdi Wang, Ahmad Beirami, Furong Huang, Alvaro Velasquez, Dinesh Manocha, Amrit Singh Bedi
2025 — conf
KGAccel: A Domain-Specific Reconfigurable Accelerator for Knowledge Graph Reasoning.
NeuS
Hanning Chen, Ali Zakeri, Yang Ni, Fei Wen, Behnam Khaleghi, Hugo Latapie, Alvaro Velasquez, Mohsen Imani
2025 J jnl
KGIF: Optimizing Relation-Aware Recommendations with Knowledge Graph Information Fusion.
CoRR
Donghyun Jeon, Wenbo Sun, Houbing Herbert Song, Dongfang Liu, Alvaro Velasquez, Chloe Yixin Xie, Shuteng Niu
2025 J jnl
Models for Test Cost Minimization in Database Migration.
INFORMS J. Comput.
Bugra Çaskurlu, K. Subramani, Utku Umur Acikalin, Alvaro Velasquez, Piotr Wojciechowski
2025 J jnl
Neuro-Symbolic AI for Cybersecurity: State of the Art, Challenges, and Opportunities.
CoRR
Safayat Bin Hakim, Muhammad Adil, Alvaro Velasquez, Shouhuai Xu, Houbing Herbert Song
2025 J jnl
On the Dataless Training of Neural Networks.
CoRR
Alvaro Velasquez, Susmit Jha, Ismail R. Alkhouri
2025 J jnl
RLAF: Reinforcement Learning from Automaton Feedback.
CoRR
Mahyar Alinejad, Alvaro Velasquez, Yue Wang, George K. Atia
2025 C conf
SymRAG: Efficient Neuro-Symbolic Retrieval Through Adaptive Query Routing.
NeSy
Safayat Bin Hakim, Muhammad Adil, Alvaro Velasquez, Houbing Herbert Song
2025 J jnl
TOGA: Temporally Grounded Open-Ended Video QA with Weak Supervision.
CoRR
Ayush Gupta, Anirban Roy, Rama Chellappa, Nathaniel D. Bastian, Alvaro Velasquez, Susmit Jha
2025 A conf
Zero-Shot Detection of Out-of-Context Objects Using Foundation Models.
WACV
Anirban Roy, Adam D. Cobb, Ramneet Kaur, Sumit Jha, Nathaniel D. Bastian, Alexander M. Berenbeim, Robert H. Thomson, Iain Cruickshank, Alvaro Velasquez, Susmit Jha
2024 Misc conf
A Differential Approach for Several NP-hard Optimization Problems.
ISAIM
Sangram Kishor Jena, K. Subramani, Alvaro Velasquez
2024 J jnl
A Survey on Symbolic Knowledge Distillation of Large Language Models.
CoRR
Kamal Acharya, Alvaro Velasquez, Houbing Herbert Song
2024 J jnl
A Survey on Symbolic Knowledge Distillation of Large Language Models.
IEEE Trans. Artif. Intell.
Kamal Acharya, Alvaro Velasquez, Houbing Herbert Song
2024 J jnl
A Survey on Verification and Validation, Testing and Evaluations of Neurosymbolic Artificial Intelligence.
CoRR
Justus Renkhoff, Ke Feng, Marc Meier-Doernberg, Alvaro Velasquez, Houbing Herbert Song
2024 J jnl
A Survey on Verification and Validation, Testing and Evaluations of Neurosymbolic Artificial Intelligence.
IEEE Trans. Artif. Intell.
Justus Renkhoff, Ke Feng, Marc Meier-Doernberg, Alvaro Velasquez, Houbing Herbert Song
2024 Misc conf
An Exploration of Optimizing Kidney Exchanges with Graph Machine Learning.
CogSIMA
Calvin Nau, Prashant Sankaran, Moises Sudit, Payam Khazaelpour, Katie McConky, Alvaro Velasquez, Liise Kayler
2024 J jnl
Arc-dependent networks: theoretical insights and a computational study.
Ann. Oper. Res.
Alvaro Velasquez, Piotr Wojciechowski, K. Subramani, Matthew D. Williamson
2024 A* conf
Assume-Guarantee Reinforcement Learning.
AAAI
Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez
2024 J jnl
Bayesian Inverse Reinforcement Learning for Non-Markovian Rewards.
CoRR
Noah Topper, Alvaro Velasquez, George K. Atia
2024 J jnl
Bioinformatics Retrieval Augmentation Data (BRAD) Digital Assistant.
CoRR
Joshua Pickard, Marc Andrew Choi, Natalie Oliven, Cooper Stansbury, Jillian Cwycyshyn, Nicholas Galioto, Alex A. Gorodetsky, Alvaro Velasquez, Indika Rajapakse
2024 J jnl
Byzantine-Resilient Decentralized Multi-Armed Bandits.
Trans. Mach. Learn. Res.
Jingxuan Zhu, Alec Koppel, Alvaro Velasquez, Ji Liu
2024 — conf
Co-Synthesis of Code and Formal Models Using Large Language Models and Functors.
MILCOM
Sumit Kumar Jha, Susmit Jha, Rickard Ewetz, Alvaro Velasquez
2024 J jnl
Combining AI Control Systems and Human Decision Support via Robustness and Criticality.
CoRR
Walt Woods, Alexander Grushin, Simon Khan, Alvaro Velasquez
2024 J jnl
Controller synthesis for linear temporal logic and steady-state specifications.
Auton. Agents Multi Agent Syst.
Alvaro Velasquez, Ismail Alkhouri, Andre Beckus, Ashutosh Trivedi, George K. Atia
2024 J jnl
Criticality and Safety Margins for Reinforcement Learning.
CoRR
Alexander Grushin, Walt Woods, Alvaro Velasquez, Simon Khan
2024 J jnl
Dataless Quadratic Neural Networks for the Maximum Independent Set Problem.
CoRR
Ismail Alkhouri, Cedric Le Denmat, Yingjie Li, Cunxi Yu, Jia Liu, Rongrong Wang, Alvaro Velasquez
2024 J jnl
Designing dataless neural networks for kidney exchange variants.
Neural Comput. Appl.
Sangram K. Jena, K. Subramani, Alvaro Velasquez
2024 J jnl
Exploring the Predictive Capabilities of AlphaFold Using Adversarial Protein Sequences.
IEEE Trans. Artif. Intell.
Ismail R. Alkhouri, Sumit Kumar Jha, Andre Beckus, George K. Atia, Susmit Jha, Rickard Ewetz, Alvaro Velasquez
2024 J jnl
Farkas Bounds on Horn Constraint Systems.
Theory Comput. Syst.
K. Subramani, Piotr Wojciechowski, Alvaro Velasquez
2024 J jnl
Hyperdimensional Quantum Factorization.
CoRR
Prathyush Poduval, Zhuowen Zou, Alvaro Velasquez, Mohsen Imani
2024 J jnl
Immune: Improving Safety Against Jailbreaks in Multi-modal LLMs via Inference-Time Alignment.
CoRR
Soumya Suvra Ghosal, Souradip Chakraborty, Vaibhav Singh, Tianrui Guan, Mengdi Wang, Ahmad Beirami, Furong Huang, Alvaro Velasquez, Dinesh Manocha, Amrit Singh Bedi
2024 J jnl
Imperceptible Adversarial Examples in the Physical World.
CoRR
Weilin Xu, Sebastian Szyller, Cory Cornelius, Luis Murillo Rojas, Marius Arvinte, Alvaro Velasquez, Jason Martin, Nageen Himayat
2024 — conf
Improving Air Mobility for Pre-Disaster Planning with Neural Network Accelerated Genetic Algorithm.
ITSC
Kamal Acharya, Alvaro Velasquez, Yongxin Liu, Dahai Liu, Liang Sun, Houbing Herbert Song
2024 J jnl
Improving Air Mobility for Pre-Disaster Planning with Neural Network Accelerated Genetic Algorithm.
CoRR
Kamal Acharya, Alvaro Velasquez, Yongxin Liu, Dahai Liu, Liang Sun, Houbing Song
2024 B conf
KGIF: Optimizing Relation-Aware Recommendations with Knowledge Graph Information Fusion.
IEEE Big Data
Donghyun Jeon, Wenbo Sun, Houbing Herbert Song, Dongfang Liu, Alvaro Velasquez, Chloe Yixin Xie, Shuteng Niu
2024 J jnl
LLMs as Probabilistic Minimally Adequate Teachers for DFA Learning.
CoRR
Lekai Chen, Ashutosh Trivedi, Alvaro Velasquez
2024 A conf
LgTS: Dynamic Task Sampling using LLM-generated Sub-Goals for Reinforcement Learning Agents.
AAMAS
Yash Shukla, Wenchang Gao, Vasanth Sarathy, Alvaro Velasquez, Robert Wright, Jivko Sinapov
2024 A* conf
Logical Specifications-guided Dynamic Task Sampling for Reinforcement Learning Agents.
ICAPS
Yash Shukla, Tanushree Burman, Abhishek Kulkarni, Robert Wright, Alvaro Velasquez, Jivko Sinapov
2024 J jnl
Logical Specifications-guided Dynamic Task Sampling for Reinforcement Learning Agents.
CoRR
Yash Shukla, Tanushree Burman, Abhishek Kulkarni, Robert Wright, Alvaro Velasquez, Jivko Sinapov
2024 C conf
Neuro-symbolic Generative AI Assistant for System Design.
MEMOCODE
Susmit Jha, Sumit Kumar Jha, Alvaro Velasquez
2024 J jnl
Neurosymbolic Reinforcement Learning and Planning: A Survey.
IEEE Trans. Artif. Intell.
Kamal Acharya, Waleed Raza, Carlos M. J. M. Dourado Júnior, Alvaro Velasquez, Houbing Herbert Song
2024 A* conf
On the Design of Novel Attention Mechanism for Enhanced Efficiency of Transformers.
DAC
Sumit Kumar Jha, Susmit Jha, Rickard Ewetz, Alvaro Velasquez
2024 B conf
On the Hardness of Decentralized Multi-Agent Policy Evaluation Under Byzantine Attacks.
WiOpt
Hairi, Minghong Fang, Zifan Zhang, Alvaro Velasquez, Jia Liu
2024 J jnl
On the Hardness of Decentralized Multi-Agent Policy Evaluation under Byzantine Attacks.
CoRR
Hairi, Minghong Fang, Zifan Zhang, Alvaro Velasquez, Jia Liu
2024 J jnl
Priority-based bin packing with subset constraints.
Discret. Appl. Math.
Piotr Wojciechowski, K. Subramani, Alvaro Velasquez, Bugra Çaskurlu
2024 J jnl
Robust Average-Reward Reinforcement Learning.
J. Artif. Intell. Res.
Yue Wang, Alvaro Velasquez, George K. Atia, Ashley Prater-Bennette, Shaofeng Zou
2024 A* conf
SayNav: Grounding Large Language Models for Dynamic Planning to Navigation in New Environments.
ICAPS
Abhinav Rajvanshi, Karan Sikka, Xiao Lin, Bhoram Lee, Han-Pang Chiu, Alvaro Velasquez
2024 — conf
Solving Mystery Planning Problems Using Category Theory, Functors, and Large Language Models.
ICAA
Sumit Kumar Jha, Susmit Jha, Rickard Ewetz, Alvaro Velasquez
2024 — conf
TaskCLIP: Extend Large Vision-Language Model for Task Oriented Object Detection.
ECCV Workshops (20)
Hanning Chen, Wenjun Huang, Yang Ni, Sanggeon Yun, Yezi Liu, Fei Wen, Alvaro Velasquez, Hugo Latapie, Mohsen Imani
2024 J jnl
The hexatope and octatope abstract domains for neural network verification.
Formal Methods Syst. Des.
Stanley Bak, Taylor Dohmen, K. Subramani, Ashutosh Trivedi, Alvaro Velasquez, Piotr Wojciechowski
2023 B conf
A Non-Targeted Attack Approach for the Coarse Misclassification Problem.
IJCNN
Ismail R. Alkhouri, Alvaro Velasquez, George K. Atia
2023 — conf
A Resilient Distributed Algorithm for Solving Linear Equations.
CDC
Jingxuan Zhu, Alvaro Velasquez, Ji Liu
2023 J jnl
A Resilient Distributed Algorithm for Solving Linear Equations.
CoRR
Jingxuan Zhu, Alvaro Velasquez, Ji Liu
2023 J jnl
Assume-Guarantee Reinforcement Learning.
CoRR
Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez
2023 J jnl
Automaton Distillation: Neuro-Symbolic Transfer Learning for Deep Reinforcement Learning.
CoRR
Suraj Singireddy, Andre Beckus, George K. Atia, Sumit Kumar Jha, Alvaro Velasquez
2023 A* conf
Automaton-Guided Curriculum Generation for Reinforcement Learning Agents.
ICAPS
Yash Shukla, Abhishek Kulkarni, Robert Wright, Alvaro Velasquez, Jivko Sinapov
2023 J jnl
Automaton-Guided Curriculum Generation for Reinforcement Learning Agents.
CoRR
Yash Shukla, Abhishek Kulkarni, Robert Wright, Alvaro Velasquez, Jivko Sinapov
2023 J jnl
Byzantine-Resilient Decentralized Multi-Armed Bandits.
CoRR
Jingxuan Zhu, Alec Koppel, Alvaro Velasquez, Ji Liu
2023 — conf
Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability Solving.
MILCOM
Sumit Kumar Jha, Susmit Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Rickard Ewetz, Sandeep Neema
2023 — conf
Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting.
ICAA
Susmit Jha, Sumit Kumar Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Sandeep Neema
2023 — conf
Differentiable Discrete Optimization Using Dataless Neural Networks.
COCOA (2)
Sangram Kishor Jena, K. Subramani, Alvaro Velasquez
2023 J jnl
Exploring Adversarial Attacks on Neural Networks: An Explainable Approach.
CoRR
Justus Renkhoff, Wenkai Tan, Alvaro Velasquez, William Yichen Wang, Yongxin Liu, Jian Wang, Shuteng Niu, Lejla Begic Fazlic, Guido Dartmann, Houbing Song
2023 A conf
LTL-Based Non-Markovian Inverse Reinforcement Learning.
AAMAS
Mohammad Afzal, Sankalp Gambhir, Ashutosh Gupta, S. Krishna, Ashutosh Trivedi, Alvaro Velasquez
2023 J jnl
LgTS: Dynamic Task Sampling using LLM-generated sub-goals for Reinforcement Learning Agents.
CoRR
Yash Shukla, Wenchang Gao, Vasanth Sarathy, Alvaro Velasquez, Robert Wright, Jivko Sinapov
2023 A* conf
Model-Free Robust Average-Reward Reinforcement Learning.
ICML
Yue Wang, Alvaro Velasquez, George K. Atia, Ashley Prater-Bennette, Shaofeng Zou
2023 J jnl
Model-Free Robust Average-Reward Reinforcement Learning.
CoRR
Yue Wang, Alvaro Velasquez, George K. Atia, Ashley Prater-Bennette, Shaofeng Zou
2023 — conf
Neural SDEs for Robust and Explainable Analysis of Electromagnetic Unintended Radiated Emissions.
MILCOM
Sumit Kumar Jha, Susmit Jha, Rickard Ewetz, Alvaro Velasquez
2023 J jnl
Neural Stochastic Differential Equations for Robust and Explainable Analysis of Electromagnetic Unintended Radiated Emissions.
CoRR
Sumit Kumar Jha, Susmit Jha, Rickard Ewetz, Alvaro Velasquez
2023 J jnl
Neuro Symbolic Reasoning for Planning: Counterexample Guided Inductive Synthesis using Large Language Models and Satisfiability Solving.
CoRR
Sumit Kumar Jha, Susmit Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Rickard Ewetz, Sandeep Neema
2023 J jnl
Neurosymbolic Reinforcement Learning and Planning: A Survey.
CoRR
Kamal Acharya, Waleed Raza, Carlos M. J. M. Dourado Júnior, Alvaro Velasquez, Houbing Song
2023 — conf
NoiseCAM: Explainable AI for the Boundary Between Noise and Adversarial Attacks.
FUZZ
Wenkai Tan, Justus Renkhoff, Alvaro Velasquez, Ziyu Wang, Lusi Li, Jian Wang, Shuteng Niu, Fan Yang, Yongxin Liu, Houbing Song
2023 J jnl
NoiseCAM: Explainable AI for the Boundary Between Noise and Adversarial Attacks.
CoRR
Wenkai Tan, Justus Renkhoff, Alvaro Velasquez, Ziyu Wang, Lusi Li, Jian Wang, Shuteng Niu, Fan Yang, Yongxin Liu, Houbing Song
2023 J jnl
On the Robustness of AlphaFold: A COVID-19 Case Study.
CoRR
Ismail Alkhouri, Sumit Kumar Jha, Andre Beckus, George K. Atia, Alvaro Velasquez, Rickard Ewetz, Arvind Ramanathan, Susmit Jha
2023 J jnl
Optimal Deterministic Controller Synthesis from Steady-State Distributions.
J. Autom. Reason.
Alvaro Velasquez, Ismail Alkhouri, K. Subramani, Piotr Wojciechowski, George K. Atia
2023 J jnl
Reachability in choice networks.
Discret. Optim.
Piotr Wojciechowski, K. Subramani, Alvaro Velasquez
2023 J jnl
Reachability problems in interval-constrained and cardinality-constrained graphs.
Discret. Math. Algorithms Appl.
Alvaro Velasquez, K. Subramani, Piotr Wojciechowski
2023 C conf
Resilient Distributed Optimization
ACC
Jingxuan Zhu, Yixuan Lin, Alvaro Velasquez, Ji Liu
2023 A* conf
Robust Average-Reward Markov Decision Processes.
AAAI
Yue Wang, Alvaro Velasquez, George K. Atia, Ashley Prater-Bennette, Shaofeng Zou
2023 J jnl
Robust Average-Reward Markov Decision Processes.
CoRR
Yue Wang, Alvaro Velasquez, George K. Atia, Ashley Prater-Bennette, Shaofeng Zou
2023 — conf
SKGHOI: Spatial-Semantic Knowledge Graph for Human-Object Interaction Detection.
ICDM (Workshops)
Lijing Zhu, Qizhen Lan, Alvaro Velasquez, Houbing Song, Acharya Kamal, Qing Tian, Shuteng Niu
2023 J jnl
SKGHOI: Spatial-Semantic Knowledge Graph for Human-Object Interaction Detection.
CoRR
Lijing Zhu, Qizhen Lan, Alvaro Velasquez, Houbing Song, Acharya Kamal, Qing Tian, Shuteng Niu
2023 — conf
Safety Margins for Reinforcement Learning.
CAI
Alexander Grushin, Walt Woods, Alvaro Velasquez, Simon Khan
2023 J jnl
Safety Margins for Reinforcement Learning.
CoRR
Alexander Grushin, Walt Woods, Alvaro Velasquez, Simon Khan
2023 J jnl
SayNav: Grounding Large Language Models for Dynamic Planning to Navigation in New Environments.
CoRR
Abhinav Rajvanshi, Karan Sikka, Xiao Lin, Bhoram Lee, Han-Pang Chiu, Alvaro Velasquez
2023 B conf
The Octatope Abstract Domain for Verification of Neural Networks.
FM
Stanley Bak, Taylor Dohmen, K. Subramani, Ashutosh Trivedi, Alvaro Velasquez, Piotr Wojciechowski
2022 J jnl
A Differentiable Approach to Combinatorial Optimization using Dataless Neural Networks.
CoRR
Ismail R. Alkhouri, George K. Atia, Alvaro Velasquez
2022 — conf
A Differentiable Approach to the Maximum Independent Set Problem Using Graph-Based Neural Network Structures.
MLSP
Ismail R. Alkhouri, George K. Atia, Alvaro Velasquez
2022 J jnl
A differentiable approach to the maximum independent set problem using dataless neural networks.
Neural Networks
Ismail R. Alkhouri, George K. Atia, Alvaro Velasquez
2022 A* conf
Active Grammatical Inference for Non-Markovian Planning.
ICAPS
Noah Topper, George K. Atia, Ashutosh Trivedi, Alvaro Velasquez
2022 B conf
Analyzing the Reachability Problem in Choice Networks.
CPAIOR
Piotr Wojciechowski, K. Subramani, Alvaro Velasquez
2022 — conf
BOSS: Bidirectional One-Shot Synthesis of Adversarial Examples.
MLSP
Ismail R. Alkhouri, Alvaro Velasquez, George K. Atia
2022 A conf
Controller Synthesis for Omega-Regular and Steady-State Specifications.
AAMAS
Alvaro Velasquez, Ismail Alkhouri, Andre Beckus, Ashutosh Trivedi, George K. Atia
2022 — conf
Data-Driven Robust Multi-Agent Reinforcement Learning.
MLSP
Yudan Wang, Yue Wang, Yi Zhou, Alvaro Velasquez, Shaofeng Zou
2022 A* conf
ExplainIt!: A Tool for Computing Robust Attributions of DNNs.
IJCAI
Sumit Kumar Jha, Alvaro Velasquez, Rickard Ewetz, Laura Pullum, Susmit Jha
2022 C conf
Exploring Adversarial Attacks on Neural Networks: An Explainable Approach.
IPCCC
Justus Renkhoff, Wenkai Tan, Alvaro Velasquez, William Yichen Wang, Yongxin Liu, Jian Wang, Shuteng Niu, Lejla Begic Fazlic, Guido Dartmann, Houbing Song
2022 A* conf
Inferring Probabilistic Reward Machines from Non-Markovian Reward Signals for Reinforcement Learning.
ICAPS
Taylor Dohmen, Noah Topper, George K. Atia, Andre Beckus, Ashutosh Trivedi, Alvaro Velasquez
2022 A* conf
Multi-Agent Tree Search with Dynamic Reward Shaping.
ICAPS
Alvaro Velasquez, Brett Bissey, Lior Barak, Daniel Melcer, Andre Beckus, Ismail Alkhouri, George K. Atia
2022 — conf
New Results in Priority-Based Bin Packing.
ALGOCLOUD
K. Subramani, Piotr Wojciechowski, Alvaro Velasquez
2022 — conf
On the Approximability of Path and Cycle Problems in Arc-Dependent Networks.
CALDAM
Piotr Wojciechowski, K. Subramani, Alvaro Velasquez, Matthew D. Williamson
2022 — conf
On the Coarse Robustness of Classifiers.
IEEECONF
Ismail R. Alkhouri, Stanley Bak, Alvaro Velasquez, George K. Atia
2022 J jnl
On the complexity of and solutions to the minimum stopping and trapping set problems.
Theor. Comput. Sci.
Alvaro Velasquez, K. Subramani, Piotr Wojciechowski
2022 C conf
Reinforced Contrastive Graph Neural Networks (RCGNN) for Anomaly Detection.
IPCCC
Zenan Sun, Jingyi Su, Donghyun Jeon, Alvaro Velasquez, Houbing Song, Shuteng Niu
2022 C conf
Resilient Constrained Consensus over Complete Graphs via Feasibility Redundancy.
ACC
Jingxuan Zhu, Yixuan Lin, Alvaro Velasquez, Ji Liu
2022 J jnl
Resilient Constrained Consensus over Complete Graphs via Feasibility Redundancy.
CoRR
Jingxuan Zhu, Yixuan Lin, Alvaro Velasquez, Ji Liu
2022 J jnl
Resilient Distributed Optimization.
CoRR
Jingxuan Zhu, Yixuan Lin, Alvaro Velasquez, Ji Liu
2022 A* conf
Shaping Noise for Robust Attributions in Neural Stochastic Differential Equations.
AAAI
Sumit Kumar Jha, Rickard Ewetz, Alvaro Velasquez, Arvind Ramanathan, Susmit Jha
2022 Misc conf
Synthesis of Adversarial Samples in Two-Stage Classifiers.
ICASSP
Ismail R. Alkhouri, Alvaro Velasquez, George K. Atia
2022 — conf
The Minimum Value State Problem in Actor-Critic Networks.
MLSP
Alvaro Velasquez, Ismail R. Alkhouri, Brett Bissey, Lior Barak, George K. Atia
2022 A conf
Translating Omega-Regular Specifications to Average Objectives for Model-Free Reinforcement Learning.
AAMAS
Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez
2021 — conf
Adversarial Perturbation Attacks on Nested Dichotomies Classification Systems.
MLSP
Ismail R. Alkhouri, Alvaro Velasquez, George K. Atia
2021 — conf
Algorithmic Analysis of Priority-Based Bin Packing.
CALDAM
Piotr Wojciechowski, K. Subramani, Alvaro Velasquez, Bugra Çaskurlu
2021 C conf
Automated Synthesis of Quantum Circuits Using Symbolic Abstractions and Decision Procedures.
ISCAS
Alvaro Velasquez, Sumit Kumar Jha, Rickard Ewetz, Susmit Jha
2021 J jnl
BOSS: Bidirectional One-Shot Synthesis of Adversarial Examples.
CoRR
Ismail Alkhouri, Alvaro Velasquez, George K. Atia
2021 — conf
Consensus-Based Value Iteration for Multiagent Cooperative Control.
CDC
Jing Wang, Elias Wilson, Alvaro Velasquez
2021 J jnl
Controller Synthesis for Omega-Regular and Steady-State Specifications.
CoRR
Alvaro Velasquez, Ashutosh Trivedi, Ismail Alkhouri, Andre Beckus, George K. Atia
2021 A* conf
Dynamic Automaton-Guided Reward Shaping for Monte Carlo Tree Search.
AAAI
Alvaro Velasquez, Brett Bissey, Lior Barak, Andre Beckus, Ismail Alkhouri, Daniel Melcer, George K. Atia
2021 J jnl
Learning Probabilistic Reward Machines from Non-Markovian Stochastic Reward Processes.
CoRR
Alvaro Velasquez, Andre Beckus, Taylor Dohmen, Ashutosh Trivedi, Noah Topper, George K. Atia
2021 A* conf
On Smoother Attributions using Neural Stochastic Differential Equations.
IJCAI
Sumit Kumar Jha, Rickard Ewetz, Alvaro Velasquez, Susmit Jha
2021 — conf
On the Copy Complexity of Width 3 Horn Constraint Systems.
FroCoS
K. Subramani, Piotr Wojciechowski, Alvaro Velasquez
2021 J jnl
Protein Folding Neural Networks Are Not Robust.
CoRR
Sumit Kumar Jha, Arvind Ramanathan, Rickard Ewetz, Alvaro Velasquez, Susmit Jha
2021 J jnl
Pulmonary Disease Classification Using Globally Correlated Maximum Likelihood: an Auxiliary Attention mechanism for Convolutional Neural Networks.
CoRR
Edward Verenich, Tobias Martin, Alvaro Velasquez, Nazar Khan, Faraz Hussain
2021 J jnl
Steady-State Planning in Expected Reward Multichain MDPs.
J. Artif. Intell. Res.
George K. Atia, Andre Beckus, Ismail Alkhouri, Alvaro Velasquez
2020 J jnl
An Extension of Fano's Inequality for Characterizing Model Susceptibility to Membership Inference Attacks.
CoRR
Sumit Kumar Jha, Susmit Jha, Rickard Ewetz, Sunny Raj, Alvaro Velasquez, Laura L. Pullum, Ananthram Swami
2020 J jnl
Domain Wall Leaky Integrate-and-Fire Neurons with Shape-Based Configurable Activation Functions.
CoRR
Wesley H. Brigner, Naimul Hassan, Xuan Hu, Christopher H. Bennett, Felipe García-Sánchez, Can Cui, Alvaro Velasquez, Matthew J. Marinella, Jean Anne C. Incorvia, Joseph S. Friedman
2020 — conf
FlexServe: Deployment of PyTorch Models as Flexible REST Endpoints.
OpML
Edward Verenich, Alvaro Velasquez, M. G. Sarwar Murshed, Faraz Hussain
2020 J jnl
FlexServe: Deployment of PyTorch Models as Flexible REST Endpoints.
CoRR
Edward Verenich, Alvaro Velasquez, M. G. Sarwar Murshed, Faraz Hussain
2020 C conf
Improving Explainability of Image Classification in Scenarios with Class Overlap: Application to COVID-19 and Pneumonia.
ICMLA
Edward Verenich, Alvaro Velasquez, Nazar Khan, Faraz Hussain
2020 J jnl
Improving Explainability of Image Classification in Scenarios with Class Overlap: Application to COVID-19 and Pneumonia.
CoRR
Edward Verenich, Alvaro Velasquez, Nazar Khan, Faraz Hussain
2020 C conf
Plasticity-Enhanced Domain-Wall MTJ Neural Networks for Energy-Efficient Online Learning.
ISCAS
Christopher H. Bennett, T. Patrick Xiao, Can Cui, Naimul Hassan, Otitoaleke G. Akinola, Jean Anne C. Incorvia, Alvaro Velasquez, Joseph S. Friedman, Matthew J. Marinella
2020 J jnl
Plasticity-Enhanced Domain-Wall MTJ Neural Networks for Energy-Efficient Online Learning.
CoRR
Christopher H. Bennett, T. Patrick Xiao, Can Cui, Naimul Hassan, Otitoaleke G. Akinola, Jean Anne C. Incorvia, Alvaro Velasquez, Joseph S. Friedman, Matthew J. Marinella
2020 A* conf
Steady-State Policy Synthesis in Multichain Markov Decision Processes.
IJCAI
George K. Atia, Andre Beckus, Ismail Alkhouri, Alvaro Velasquez
2020 J jnl
The Utility of Feature Reuse: Transfer Learning in Data-Starved Regimes.
CoRR
Edward Verenich, Alvaro Velasquez, M. G. Sarwar Murshed, Faraz Hussain
2020 J jnl
Unsupervised Competitive Hardware Learning Rule for Spintronic Clustering Architecture.
CoRR
Alvaro Velasquez, Christopher H. Bennett, Naimul Hassan, Wesley H. Brigner, Otitoaleke G. Akinola, Jean Anne C. Incorvia, Matthew J. Marinella, Joseph S. Friedman
2020 J jnl
Verifiable Planning in Expected Reward Multichain MDPs.
CoRR
George K. Atia, Andre Beckus, Ismail Alkhouri, Alvaro Velasquez
2020 A conf
Verification-Guided Tree Search.
AAMAS
Alvaro Velasquez, Daniel Melcer
2019 — conf
On the Susceptibility of Deep Neural Networks to Natural Perturbations.
AISafety@IJCAI
Mesut Ozdag, Sunny Raj, Steven Lawrence Fernandes, Alvaro Velasquez, Laura Pullum, Sumit Kumar Jha
2019 C conf
Spatially Efficient In-Memory Addition Through Destructive and Non-Destructive Operations.
ISCAS
Alvaro Velasquez, Benjamin Shaia
2019 A* conf
Steady-State Policy Synthesis for Verifiable Control.
IJCAI
Alvaro Velasquez
2018 C conf
3D Crosspoint Memory as a Parallel Architecture for Computing Network Reachability.
ICCD
Alvaro Velasquez, Sumit Kumar Jha
2018 B conf
Brief Announcement: Parallel Transitive Closure Within 3D Crosspoint Memory.
SPAA
Alvaro Velasquez, Sumit Kumar Jha
2018 C conf
Finding Minimum Stopping and Trapping Sets: An Integer Linear Programming Approach.
ISCO
Alvaro Velasquez, K. Subramani, Steven L. Drager
2018 A conf
In-memory computing using paths-based logic and heterogeneous components.
DATE
Alvaro Velasquez, Sumit Kumar Jha
2018 — conf
Minimization of Testing Costs in Capacity-Constrained Database Migration.
ALGOCLOUD
K. Subramani, Bugra Çaskurlu, Alvaro Velasquez
2017 C conf
Computation of Boolean matrix chain products in 3D ReRAM.
ISCAS
Alvaro Velasquez, Sumit Kumar Jha
2016 C conf
Flow-based computing on nanoscale crossbars: Design and implementation of full adders.
ISCAS
Zahiruddin Alamgir, Karsten Beckmann, Nathaniel C. Cady, Alvaro Velasquez, Sumit Kumar Jha
2016 C conf
Parallel boolean matrix multiplication in linear time using rectifying memristors.
ISCAS
Alvaro Velasquez, Sumit Kumar Jha
2016 B conf
The cardinality-constrained paths problem: Multicast data routing in heterogeneous communication networks.
NCA
Alvaro Velasquez, Piotr Wojciechowski, K. Subramani, Steven L. Drager, Sumit Kumar Jha
2015 — conf
Automated synthesis of crossbars for nanoscale computing using formal methods.
NANOARCH
Alvaro Velasquez, Sumit Kumar Jha
2015 C conf
Fault-tolerant in-memory crossbar computing using quantified constraint solving.
ICCD
Alvaro Velasquez, Sumit Kumar Jha
2014 — conf
Parallel computing using memristive crossbar networks: Nullifying the processor-memory bottleneck.
IDT
Alvaro Velasquez, Sumit Kumar Jha
2014 — conf
Putting humpty-dumpty together: Mining causal mechanistic biochemical models from big data.
ICCABS
Faraz Hussain, Alvaro Velasquez, Emily Sassano, Sumit Kumar Jha