4:00 pm - 5:00 pm Towards a Science of Human-AI Decision Making: Empirical Understandings, Computational Models, and Intervention Designs March 5 @ 4:00 pm - 5:00 pm Towards a Science of Human-AI Decision Making: Empirical Understandings, Computational Models, and Intervention Designs
4:00 pm - 5:00 pm On Building General-Purpose Home Robots March 26 @ 4:00 pm - 5:00 pm On Building General-Purpose Home Robots
2:00 pm - 3:30 pm Leveraging Formal Methods for Trustworthy AI-assisted Software Development April 3 @ 2:00 pm - 3:30 pm Leveraging Formal Methods for Trustworthy AI-assisted Software Development
March 5 @ 4:00 pm - 5:00 pm Towards a Science of Human-AI Decision Making: Empirical Understandings, Computational Models, and Intervention Designs
April 3 @ 2:00 pm - 3:30 pm Leveraging Formal Methods for Trustworthy AI-assisted Software Development