AI systems and reliability
Whether an AI system has met a user’s intent is a different question from whether it has produced a plausible result. His current research examines incomplete specifications, incorrect assumptions, and ways to reduce the verification burden placed on users.
Research →