Workshop on Theorem Proving and Machine Learning

Stream: Machine Learning for Theorem Proving

[Jason Rute]

This is a discussion thread for #announce > Workshop on Theorem Proving and Machine Learning.

[Jason Rute]

I see this is the same time as another workshop on the same topic: #announce > AI for Mathematics and Theoretical Computer Science.

[Jason Rute]

It's funny how workshops like this often get scheduled on the same week. cc @Geoff Sutcliffe @Jeremy Avigad