There are papers that use SMT over RNNs to prove smoothness of the output functi... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		UncleMeat on Jan 22, 2019 \| parent \| context \| favorite \| on: Why Don't People Use Formal Methods? There are papers that use SMT over RNNs to prove smoothness of the output functions. You can absolutely apply these techniques to ML.

achamayou on Jan 22, 2019 [–]

So you have any links? I’m very curious, and a quick search did not turn up anything.

UncleMeat on Jan 24, 2019 | [–]

Clark Barrett's group at Stanford (previously NYU) is a leader here.

achamayou on Jan 24, 2019 | | [–]

Thank you!

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