Seminar: Trusted AI Planning

[Updated Schedule]

Dear students,

this is a friendly reminder that the final version of your presentation slides will be due tomorrow, July 28, end-of-day (upload via CMS). The block seminar is going to take place on Wednesday, July 29, at 9am (room 3.06, Building E1 1). Please find the talk schedule below.

Best,
Marcel

Schedule:

• 9:00 Topic 1: Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks
• 9:30 Topic 4: Robustness Verification of Multi-Class Tree Ensembles
• 10:00 Coffee Break
• 10:10 Topic 5: Neural Network Action Policy Verification via Predicate Abstraction
• 10:40 Topic 6: Neural Policy Safety Verification via Predicate Abstraction: CEGAR
• 11:10 Topic 8: Verifying Reinforcement Learning up to Infinity
• 11:50 Lunch Break
• 12:50 Topic 13: SpecRepair Counter-Example Guided Safety Repair of Deep Neural Networks
• 13:20 Topic 14: Minimal Modifications of Deep Neural Networks using Verification
• 13:50 Coffee Break
• 14:00 Topic 15: Towards Repairing Neural Networks Correctly
• 14:30 Topic 16: Safety Debugging of Tree-Ensemble Action Policies in AI Planning: From Fault Detection to Fault Fixing
• 15:00 Closing

Dear students,

this is a friendly reminder that your revised summary paper has been due since June 29. If you have not yet sent your revised paper to your mentor (cc feedback giver and supervisor), you should do so as soon as possible. Note that the final version of your paper (upload via CMS) will be due in two weeks on July 20 and you might want to update your paper based on your mentor's feedback before submitting the final version.

Best,
Marcel

Dear students,

this is a reminder that the first drafts of your summary paper and your presentation slides have been due to be shared with your mentor student (cc feedback giver and supervisor) since last week. While these deadlines are not firm they should be met with a delay of no more than 3-4 days. If you have not sent out your drafts yet (especially your summary paper) please try do so as soon as possible. This is also to give your mentor sufficient time to provide proper feedback.

Best,
Marcel

Dear students,

the block seminar is scheduled for July 29 (Wednesday). The tentative start time is 8:30. The presentation slides are due on July 28. All deadlines can be found on the main page. 

Some lecturers have not announced a final exam date yet. Please contact us, if there are any unforeseen or upcoming conflicts, so we can try to find the best possible solution.

Best,
Marcel 

Dear students,

the poll to find a seminar date has closed. The following days have the highest preference: Wednesday (29.07), Thursday (30.07), Friday (31.07). To find the best possible slot those who indicated a conflict on any of those days should send an e-mail to vinzent@cs.uni-saarland.de stating the nature and extent of their conflict by tomorrow (Friday May 29). Unfortunately, we will only be able to take into account hard conflicts, e.g., exam on that day but not exam preparation. 

Moreover, note that in case you intended to drop out of the seminar (not everyone participated in the poll) we kindly asked you to contact us so we could update the mentor mentee assignment accordingly.

Best,
Marcel