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.
I'm in on this one!
@Josh Chen we can wait for 1 or 2 additional collaborators and then we can start. What do you think ?
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: Dec 07 2023 at 16:21 UTC