Selected research
- Emerging Self-Verifying AI Systems agenda
- GenRewrite research on LLM-assisted query rewriting
- Systems research emphasizing verification, constraints, and measurable behavior
AI Systems: Reliability, Evaluation, and Data Management
Research on AI reliability, incomplete specifications, and the gap between a user’s intent and a system’s behavior.
How can users tell whether an AI system has done what they intended?