Scholar
Alvaro Velasquez
Google Scholar ID: 1g3pA4cAAAAJ
Program Manager, DARPA
Neurosymbolic AI
Combinatorial Optimization
Physical AI
Reinforcement learning
Formal methods
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
1,024
H-index
17
i10-index
29
Publications
20
Co-authors
0
Publications
45 items
Foundation Model-Aided Multi-Agent Reinforcement Learning for Wireless Random Access Network Optimization
2026
Cited
0
The Missing Primitive: Diagnosing and Repairing Mathematical Reasoning in Large Language Models
2026
Cited
0
Robust Nash Alignment under Preference Uncertainty
2026
Cited
0
DEALS: Decentralized Expertise-Aware Load Serving for Multi-Agent LLM Systems
2026
Cited
0
To Solve Bilevel Optimization with Nonconvex Lower Levels, We Need Second-Order Stationarity
2026
Cited
0
Neurosymbolic Routing for Reliable Reasoning on Resource-Constrained Edge Devices
2026
Cited
0
CEDAR: Automata as Verifiable Interfaces for Language-Guided Embodied Action
2026
Cited
0
Parallelizable Gradient-Based Optimization For Multi-Objective MaxCut
2026
Cited
0
Load more
