Proof Summit 2017
2017年7月23日(日)に開催されたイベント Proof Summit 2017 のまとめです。
https://proof-summit.connpass.com/event/58803/
-
masahiro_sakai
- 4778
- 18
- 0
- 1
-
- いいね！1
Kohei Suenaga
@ksuenaga
これを発展させてCoqやAgdaでやりたい．twitter.com/ksuenaga/statu… twitter.com/todesking/stat…
2017-07-23 19:25:11
Kohei Suenaga
@ksuenaga
初めてディープラーニングを使った論文を書いた．ニューラル機械翻訳を使って命題論理の証明を自動生成する話．発展途上ですが，もっとすごいの作れるように頑張ります．arxiv.org/abs/1706.06462
2017-06-21 09:26:17