There is already active research on this. Clark Barrett has been applying SMT to... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

UncleMeat on Dec 25, 2017 | parent | context | favorite | on: AI Failures in 2017

There is already active research on this. Clark Barrett has been applying SMT to deep learning models to prove smoothness guarantees.

kuwze on Dec 25, 2017 [–]

Would you mind clarifying what you mean by 'smoothness'?

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact