先日の Proof Summit 2017 での発表「定理証明における機械学習の応用: 定理証明＋機械学習＝？」の資料を公開しました。
https://www.slideshare.net/KeisukeYahata/proof-summit-2017-for-slideshare

最近skyrunner_01さんやtoslunarさんたちとちょっと遊んでいる話（発表自体はskyrunner_01さん）で、「定理証明分野において機械学習や深層学習を応用する研究が盛り上がってて面白いぞ」というのを紹介する内容です。 色々と面白い話があるので、興味のある人は議論しましょう。

Proof Summit 2017
https://proof-summit.connpass.com/event/58803/

Toggetterまとめ (当日の様子についてはこちらをご覧ください)
https://togetter.com/li/1133030

#proofsummit2017 #ns