PPaperPicks

Alvaro Velasquez

10 papers at tracked venues · 7 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2ICML ×2AAMAS ×1ACL ×1CVPR ×1ECCV ×1ICCV ×1WACV ×1

Frequent coauthors

Susmit Jha
×4
Nathaniel D. Bastian
×3
Sumit Jha
×2
Ismail Alkhouri
×2
Jia Liu
×2
Anirban Roy
×2
Vishal Pramanik
×1
Maisha Maliha
×1
Cedric Le Denmat
×1
Yingjie Li
×1
Cunxi Yu
×1
Rongrong Wang
×1

Papers

  1. NSF-CoT: Neuro-Symbolic Formal Verification of Chain-of-Thought Faithfulness in Contextual Question Answering
    ACL 2026 ·
    Vishal Pramanik
    ,
    Maisha Maliha
    ,
    Nathaniel D. Bastian
    , Alvaro Velasquez,
    Susmit Jha
    ,
    Sumit Kumar Jha
  2. On the Dataless Training of Neural Networks
    AAAI 2026 · Alvaro Velasquez,
    Susmit Jha
    ,
    Ismail R. Alkhouri
  3. Differentiable Quadratic Optimization For the Maximum Independent Set Problem
    ICML 2025 ·
    Ismail Alkhouri
    ,
    Cedric Le Denmat
    ,
    Yingjie Li
    ,
    Cunxi Yu
    ,
    Jia Liu
    ,
    Rongrong Wang
    , Alvaro Velasquez
  4. Finite-Time Global Optimality Convergence in Deep Neural Actor-Critic Methods for Decentralized Multi-Agent Reinforcement Learning
    ICML 2025 ·
    Zhiyao Zhang
    ,
    Myeung Suk Oh
    ,
    Hairi
    ,
    Ziyue Luo
    , Alvaro Velasquez,
    Jia Liu
  5. Immune: Improving Safety Against Jailbreaks in Multi-modal LLMs via Inference-Time Alignment
    CVPR 2025 ·
    Soumya Suvra Ghosal
    ,
    Souradip Chakraborty
    ,
    Vaibhav Singh
    ,
    Tianrui Guan
    ,
    Mengdi Wang
    ,
    Ahmad Beirami
    ,
    Furong Huang
    , Alvaro Velasquez,
    Dinesh Manocha
    ,
    Amrit Singh Bedi
  6. TOGA: Temporally Grounded Open-Ended Video QA with Weak Supervision
    ICCV 2025 ·
    Ayush Gupta
    ,
    Anirban Roy
    ,
    Rama Chellappa
    ,
    Nathaniel D. Bastian
    , Alvaro Velasquez,
    Susmit Jha
  7. Zero-Shot Detection of Out-of-Context Objects Using Foundation Models
    WACV 2025 ·
    Anirban Roy
    ,
    Adam D. Cobb
    ,
    Ramneet Kaur
    ,
    Sumit Jha
    ,
    Nathaniel D. Bastian
    ,
    Alexander M. Berenbeim
    ,
    Robert H. Thomson
    ,
    Iain Cruickshank
    , Alvaro Velasquez,
    Susmit Jha
  8. Assume-Guarantee Reinforcement Learning
    AAAI 2024 ·
    Milad Kazemi
    ,
    Mateo Perez
    ,
    Fabio Somenzi
    ,
    Sadegh Soudjani
    ,
    Ashutosh Trivedi
    , Alvaro Velasquez
  9. LgTS: Dynamic Task Sampling using LLM-generated Sub-Goals for Reinforcement Learning Agents
    AAMAS 2024 ·
    Yash Shukla
    ,
    Wenchang Gao
    ,
    Vasanth Sarathy
    , Alvaro Velasquez,
    Robert Wright
    ,
    Jivko Sinapov
  10. TaskCLIP: Extend Large Vision-Language Model for Task Oriented Object Detection
    ECCV 2024 ·
    Hanning Chen
    ,
    Wenjun Huang
    ,
    Yang Ni
    ,
    Sanggeon Yun
    ,
    Yezi Liu
    ,
    Fei Wen
    , Alvaro Velasquez,
    Hugo Latapie
    ,
    Mohsen Imani