Stream: New Members & Projects

Topic: deep learning


view this post on Zulip Anthony Bordg (Jul 26 2019 at 22:19):

To start, a formalization of Michael Nielsen's book Neural Networks and Deep Learning would be interesting. If you're interested, please get in touch.

view this post on Zulip Josh Chen (Jul 27 2019 at 07:37):

I'm in on this one!

view this post on Zulip Anthony Bordg (Jul 29 2019 at 12:28):

@Josh Chen we can wait for 1 or 2 additional collaborators and then we can start. What do you think ?

view this post on Zulip Josh Chen (Jul 29 2019 at 12:30):

Perfect :) I've just started thinking today how to begin. I'm still very fresh to actually _using_ Isabelle/HOL so it would be good to have other people around :)


Last updated: Oct 12 2024 at 20:18 UTC