Alvaro Velasquez

Venues

Frequent coauthors

Papers

1. NSF-CoT: Neuro-Symbolic Formal Verification of Chain-of-Thought Faithfulness in Contextual Question Answering
   ACL 2026 ·

   Vishal Pramanik

   DBLP profile ↗ORCID search ↗
2. On the Dataless Training of Neural Networks
   AAAI 2026 · Alvaro Velasquez
3. Differentiable Quadratic Optimization For the Maximum Independent Set Problem
   ICML 2025 ·

   Ismail Alkhouri

   DBLP profile ↗ORCID search ↗
4. Finite-Time Global Optimality Convergence in Deep Neural Actor-Critic Methods for Decentralized Multi-Agent Reinforcement Learning
   ICML 2025 ·

   Zhiyao Zhang

   DBLP profile ↗ORCID search ↗
5. Immune: Improving Safety Against Jailbreaks in Multi-modal LLMs via Inference-Time Alignment
   CVPR 2025 ·

   Soumya Suvra Ghosal

   DBLP profile ↗ORCID search ↗
6. TOGA: Temporally Grounded Open-Ended Video QA with Weak Supervision
   ICCV 2025 ·

   Ayush Gupta

   DBLP profile ↗ORCID search ↗
7. Zero-Shot Detection of Out-of-Context Objects Using Foundation Models
   WACV 2025 ·

   Anirban Roy

   DBLP profile ↗ORCID search ↗
8. Assume-Guarantee Reinforcement Learning
   AAAI 2024 ·

   Milad Kazemi

   DBLP profile ↗ORCID search ↗
9. LgTS: Dynamic Task Sampling using LLM-generated Sub-Goals for Reinforcement Learning Agents
   AAMAS 2024 ·

   Yash Shukla

   DBLP profile ↗ORCID search ↗
10. TaskCLIP: Extend Large Vision-Language Model for Task Oriented Object Detection
    ECCV 2024 ·

    Hanning Chen

    DBLP profile ↗ORCID search ↗