Flexible Reasoning with Large Language Models as Informal Logic Programs
Sponsor(s):
Computer Science
Wednesday, February 21, 2024
12:00 pm - 1:00 pm
Hongyuan Mei, TTIC
Network Verification: Lessons Learned and Outlook
Sponsor(s):
Computer Science
Friday, February 23, 2024
12:00 pm - 1:00 pm
Ratul Mahajan, UW-CSE
Discovering Hidden Capabilities and Limits in Large Language Models
Sponsor(s):
Computer Science
Monday, March 04, 2024
12:00 pm - 1:00 pm
Peter West, UW-CSE
From Password Requirements to IoT Cybersecurity Labels: Informing Public Policy with Research
Sponsor(s):
Computer Science
Monday, March 04, 2024
4:00 pm - 5:00 pm
Lorrie Faith Cranor, CMU
Flow Models with Applications to Cell Trajectories and Protein Design
Sponsor(s):
Computer Science
Wednesday, March 06, 2024
12:00 pm - 1:00 pm
Alex Tong, MILA and Dreamfold.ai
Implementing Ethics in Emerging Technologies
Sponsor(s):
Computer Science
Thursday, March 21, 2024
12:00 pm - 1:00 pm
Carol Smith, CMU
Can One Model Rule Them All? Tailoring Large Language Models to Specialized Domains, Specific Populations, and Unique Individuals
Sponsor(s):
Computer Science
Monday, April 08, 2024
12:00 pm - 1:00 pm
Silvio Amir, Northeastern Univ.
Human-in-the-Loop Machine Learning for Robot Navigation and Manipulation
Sponsor(s):
Mechanical Engineering and Materials Science (MEMS), Biomedical Engineering (BME), Civil and Environmental Engineering (CEE), Computer Science, Duke Materials Initiative, and Electrical and Computer Engineering (ECE)
Monday, October 28, 2024
12:00 pm - 1:00 pm
Peter Stone
