QuEST Discussion Topics 7 Aug

meeting slides – Summer 2020 Group Exit Presentation Announcement

On 7 August, Dr. Kerianne Hobbs’ summer students will provide exit briefings on the work they accomplished this summer. A link to the meeting will be provided on Thursday – it is different than the usual QuEST link and the presentations will begin at 11:00 am Eastern with a scheduled end time of 12:50 pm.

Here is a description of what will be presented. Introductory slides are attached.

What is the best way to ensure safety of learning systems? In this extended Quest meeting, 4 summer students present their pieces of a joint project to explore this topic.

·       Verify offline (out of scope for the summer)

o   Propagate sets of initial conditions through neural network to find reachable states

o   Other

·       Verify online (summer focus)

o   How do you handle uncertainty? – CHRIS HAYS

o   How do you bound and inject safety control? – MARK MOTE

o   How do you gain intuition for what is happening during training? – KAI DELSING

o   Bound during training, after, or both? – KYLE DUNLAP

§  Include bounds during training

·       Faster Learning?

·       Better or worse solution?

·       Learn to depend on backup?

§  Only bound after training

·       Eliminate “best option”?

§  Both