| 2026 | AAAI | On the Dataless Training of Neural Networks. | Alvaro Velasquez, Susmit Jha, Ismail R. Alkhouri |
| 2026 | ACL | NSF-CoT: Neuro-Symbolic Formal Verification of Chain-of-Thought Faithfulness in Contextual Question Answering. | Vishal Pramanik, Maisha Maliha, Nathaniel D. Bastian, Alvaro Velasquez, Susmit Jha, Sumit Kumar Jha |
| 2025 | CVPR | Immune: Improving Safety Against Jailbreaks in Multi-modal LLMs via Inference-Time Alignment. | Soumya Suvra Ghosal, Souradip Chakraborty, Vaibhav Singh, Tianrui Guan, Mengdi Wang, Ahmad Beirami, Furong Huang, Alvaro Velasquez, Dinesh Manocha, Amrit Singh Bedi |
| 2025 | ICASSP | Hybrid Offline Passive Grammatical Inference and Online Planning for Non-Markovian Tasks. | Mahyar Alinejad, Alvaro Velasquez, Yue Wang, George K. Atia |
| 2025 | ICCV | TOGA: Temporally Grounded Open-Ended Video QA with Weak Supervision. | Ayush Gupta, Anirban Roy, Rama Chellappa, Nathaniel D. Bastian, Alvaro Velasquez, Susmit Jha |
| 2025 | ICML | Differentiable Quadratic Optimization For the Maximum Independent Set Problem. | Ismail Alkhouri, Cedric Le Denmat, Yingjie Li, Cunxi Yu, Jia Liu, Rongrong Wang, Alvaro Velasquez |
| 2025 | ICML | Finite-Time Global Optimality Convergence in Deep Neural Actor-Critic Methods for Decentralized Multi-Agent Reinforcement Learning. | Zhiyao Zhang, Myeung Suk Oh, Hairi, Ziyue Luo, Alvaro Velasquez, Jia Liu |
| 2025 | MOBIHOC | Consensus-based Decentralized Multi-agent Reinforcement Learning for Random Access Network Optimization. | Myeung Suk Oh, Zhiyao Zhang, Hairi, Alvaro Velasquez, Jia Liu |
| 2025 | NeSy | SymRAG: Efficient Neuro-Symbolic Retrieval Through Adaptive Query Routing. | Safayat Bin Hakim, Muhammad Adil, Alvaro Velasquez, Houbing Herbert Song |
| 2025 | WACV | Zero-Shot Detection of Out-of-Context Objects Using Foundation Models. | 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 | AAAI | Assume-Guarantee Reinforcement Learning. | Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez |
| 2024 | CogSIMA | An Exploration of Optimizing Kidney Exchanges with Graph Machine Learning. | Calvin Nau, Prashant Sankaran, Moises Sudit, Payam Khazaelpour, Katie McConky, Alvaro Velasquez, Liise Kayler |
| 2024 | DAC | On the Design of Novel Attention Mechanism for Enhanced Efficiency of Transformers. | Sumit Kumar Jha, Susmit Jha, Rickard Ewetz, Alvaro Velasquez |
| 2024 | ECCV | TaskCLIP: Extend Large Vision-Language Model for Task Oriented Object Detection. | Hanning Chen, Wenjun Huang, Yang Ni, Sanggeon Yun, Yezi Liu, Fei Wen, Alvaro Velasquez, Hugo Latapie, Mohsen Imani |
| 2024 | ICAPS | SayNav: Grounding Large Language Models for Dynamic Planning to Navigation in New Environments. | Abhinav Rajvanshi, Karan Sikka, Xiao Lin, Bhoram Lee, Han-Pang Chiu, Alvaro Velasquez |
| 2024 | ICAPS | Logical Specifications-guided Dynamic Task Sampling for Reinforcement Learning Agents. | Yash Shukla, Tanushree Burman, Abhishek Kulkarni, Robert Wright, Alvaro Velasquez, Jivko Sinapov |
| 2024 | ISAIM | A Differential Approach for Several NP-hard Optimization Problems. | Sangram Kishor Jena, K. Subramani, Alvaro Velasquez |
| 2024 | MEMOCODE | Neuro-symbolic Generative AI Assistant for System Design. | Susmit Jha, Sumit Kumar Jha, Alvaro Velasquez |
| 2024 | WiOpt | On the Hardness of Decentralized Multi-Agent Policy Evaluation Under Byzantine Attacks. | Hairi, Minghong Fang, Zifan Zhang, Alvaro Velasquez, Jia Liu |
| 2023 | AAAI | Robust Average-Reward Markov Decision Processes. | Yue Wang, Alvaro Velasquez, George K. Atia, Ashley Prater-Bennette, Shaofeng Zou |
| 2023 | COCOA | Differentiable Discrete Optimization Using Dataless Neural Networks. | Sangram Kishor Jena, K. Subramani, Alvaro Velasquez |
| 2023 | FM | The Octatope Abstract Domain for Verification of Neural Networks. | Stanley Bak, Taylor Dohmen, K. Subramani, Ashutosh Trivedi, Alvaro Velasquez, Piotr Wojciechowski |
| 2023 | ICDM | SKGHOI: Spatial-Semantic Knowledge Graph for Human-Object Interaction Detection. | Lijing Zhu, Qizhen Lan, Alvaro Velasquez, Houbing Song, Acharya Kamal, Qing Tian, Shuteng Niu |
| 2023 | ICML | Model-Free Robust Average-Reward Reinforcement Learning. | Yue Wang, Alvaro Velasquez, George K. Atia, Ashley Prater-Bennette, Shaofeng Zou |
| 2023 | IJCNN | A Non-Targeted Attack Approach for the Coarse Misclassification Problem. | Ismail R. Alkhouri, Alvaro Velasquez, George K. Atia |
| 2022 | AAAI | Shaping Noise for Robust Attributions in Neural Stochastic Differential Equations. | Sumit Kumar Jha, Rickard Ewetz, Alvaro Velasquez, Arvind Ramanathan, Susmit Jha |
| 2022 | ACSSC | On the Coarse Robustness of Classifiers. | Ismail R. Alkhouri, Stanley Bak, Alvaro Velasquez, George K. Atia |
| 2022 | CPAIOR | Analyzing the Reachability Problem in Choice Networks. | Piotr Wojciechowski, K. Subramani, Alvaro Velasquez |
| 2022 | ICASSP | Synthesis of Adversarial Samples in Two-Stage Classifiers. | Ismail R. Alkhouri, Alvaro Velasquez, George K. Atia |
| 2022 | IJCAI | ExplainIt!: A Tool for Computing Robust Attributions of DNNs. | Sumit Kumar Jha, Alvaro Velasquez, Rickard Ewetz, Laura Pullum, Susmit Jha |
| 2022 | IPCCC | Exploring Adversarial Attacks on Neural Networks: An Explainable Approach. | Justus Renkhoff, Wenkai Tan, Alvaro Velasquez, William Yichen Wang, Yongxin Liu, Jian Wang, Shuteng Niu, Lejla Begic Fazlic, Guido Dartmann, Houbing Song |
| 2022 | IPCCC | Reinforced Contrastive Graph Neural Networks (RCGNN) for Anomaly Detection. | Zenan Sun, Jingyi Su, Donghyun Jeon, Alvaro Velasquez, Houbing Song, Shuteng Niu |
| 2021 | AAAI | Dynamic Automaton-Guided Reward Shaping for Monte Carlo Tree Search. | Alvaro Velasquez, Brett Bissey, Lior Barak, Andre Beckus, Ismail Alkhouri, Daniel Melcer, George K. Atia |
| 2021 | IJCAI | On Smoother Attributions using Neural Stochastic Differential Equations. | Sumit Kumar Jha, Rickard Ewetz, Alvaro Velasquez, Susmit Jha |
| 2021 | ISCAS | Automated Synthesis of Quantum Circuits Using Symbolic Abstractions and Decision Procedures. | Alvaro Velasquez, Sumit Kumar Jha, Rickard Ewetz, Susmit Jha |
| 2020 | ICMLA | Improving Explainability of Image Classification in Scenarios with Class Overlap: Application to COVID-19 and Pneumonia. | Edward Verenich, Alvaro Velasquez, Nazar Khan, Faraz Hussain |
| 2020 | IJCAI | Steady-State Policy Synthesis in Multichain Markov Decision Processes. | George K. Atia, Andre Beckus, Ismail Alkhouri, Alvaro Velasquez |
| 2020 | ISCAS | Plasticity-Enhanced Domain-Wall MTJ Neural Networks for Energy-Efficient Online Learning. | 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 |
| 2019 | IJCAI | On the Susceptibility of Deep Neural Networks to Natural Perturbations. | Mesut Ozdag, Sunny Raj, Steven Lawrence Fernandes, Alvaro Velasquez, Laura Pullum, Sumit Kumar Jha |
| 2019 | IJCAI | Steady-State Policy Synthesis for Verifiable Control. | Alvaro Velasquez |
| 2019 | ISCAS | Spatially Efficient In-Memory Addition Through Destructive and Non-Destructive Operations. | Alvaro Velasquez, Benjamin Shaia |
| 2018 | DATE | In-memory computing using paths-based logic and heterogeneous components. | Alvaro Velasquez, Sumit Kumar Jha |
| 2018 | ICCD | 3D Crosspoint Memory as a Parallel Architecture for Computing Network Reachability. | Alvaro Velasquez, Sumit Kumar Jha |
| 2018 | SPAA | Brief Announcement: Parallel Transitive Closure Within 3D Crosspoint Memory. | Alvaro Velasquez, Sumit Kumar Jha |
| 2017 | ISCAS | Computation of Boolean matrix chain products in 3D ReRAM. | Alvaro Velasquez, Sumit Kumar Jha |
| 2016 | ISCAS | Flow-based computing on nanoscale crossbars: Design and implementation of full adders. | Zahiruddin Alamgir, Karsten Beckmann, Nathaniel C. Cady, Alvaro Velasquez, Sumit Kumar Jha |
| 2016 | ISCAS | Parallel boolean matrix multiplication in linear time using rectifying memristors. | Alvaro Velasquez, Sumit Kumar Jha |
| 2016 | NCA | The cardinality-constrained paths problem: Multicast data routing in heterogeneous communication networks. | Alvaro Velasquez, Piotr Wojciechowski, K. Subramani, Steven L. Drager, Sumit Kumar Jha |
| 2015 | ICCD | Fault-tolerant in-memory crossbar computing using quantified constraint solving. | Alvaro Velasquez, Sumit Kumar Jha |