Anthony Bordg (Jul 26 2019 at 22:19): 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.
Josh Chen (Jul 27 2019 at 07:37):I'm in on this one!
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 ?
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: Apr 24 2024 at 16:18 UTC