Alvaro Velasquez
Scholar

Alvaro Velasquez

Google Scholar ID: 1g3pA4cAAAAJ
Program Manager, DARPA
Neurosymbolic AICombinatorial OptimizationPhysical AIReinforcement learningFormal methods
Google Scholar↗
Citations & Impact
All-time
Citations
1,024
 
H-index
17
 
i10-index
29
 
Publications
20
 
Co-authors
0
 
Contact
No contact links provided.
Publications
28 items
Subspace Control: Turning Constrained Model Steering into Controllable Spectral Optimization
2026
Cited
0
Differentiable Initialization-Accelerated CPU-GPU Hybrid Combinatorial Scheduling
2026
Cited
0
GaloisSAT: Differentiable Boolean Satisfiability Solving via Finite Field Algebra
2026
Cited
0
HIPO: Instruction Hierarchy via Constrained Reinforcement Learning
2026
Cited
0
Active Causal Experimentalist (ACE): Learning Intervention Strategies via Direct Preference Optimization
2026
Cited
0
Search-Augmented Masked Diffusion Models for Constrained Generation
2026
Cited
0
Monotonicity as an Architectural Bias for Robust Language Models
2026
Cited
0
Neurosymbolic LoRA: Why and When to Tune Weights vs. Rewrite Prompts
2026
Cited
0
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)