Armando Solar-Lezama

• Computer-Assisted Query Formulation
• Neurosymbolic Programming