DeepMath https://arxiv.org/abs/1606.04442 、「DeepLearningに自動定理証明器を使わせてみた」という感じか。 RNN/LSTM/GRUなネットワークでMizarの推論の前提を推測させ、最高で62.95%の定理を証明!
DeepMath - Deep Sequence Models for Premise Selection
https://arxiv.org/abs/1606.04442
TMLS #4 Review of the state of the art - July 29th
http://www.meetup.com/ja-JP/tokyomachinelearning/events/231685310/
Deep Math by Fred Almeida - TMLS #4
https://speakerdeck.com/tmls/deep-math-by-fred-almeida-tmls-number-4
先日のTMLS#4 で紹介されていたのだけれど、遅刻して聴き損ねて、公開されたし資料をようやく読んだのだった。
誰か Proof Summit 2016 とかで紹介すると良いのでは?
http://proof-summit.connpass.com/event/34848/
DeepMathという名前はAutoMathのもじりだったりする?