Award Recipient Ping Wang Stevens Institute of Technology Social website googlescholar 2024 Amazon Research Award Leveraging Large Language Models for Reasoning Augmented Searching on Domain-specific NoSQL Database Research topic Automated reasoning