I'm a first year PhD student in Computer Science, formal methods.
During my thesis, I want to learn how to bring trust in #machinelearning software, and I firmly believe that all the tools we already developed in formal verification can be leveraged for that goal.
Everyone seems to be really hyped about deep learning, but that kind of software is really vulnerable. I want to discover how we can cope with that.
So, let's discuss! #introduction
@rhapsodos Hi welcome :)
@rhapsodos What do you mean by trust?
@k3jph for instance provable guarantees on a given specification
Scholar Social is a microblogging platform for researchers, grad students, librarians, archivists, undergrads, academically inclined high schoolers, educators of all levels, journal editors, research assistants, professors, administrators—anyone involved in academia who is willing to engage with others respectfully. Read more ...