Zulip Chat Archive
Stream: Machine Learning for Theorem Proving
Topic: Paper: Stateful Premise Selection by RNNs
Jason Rute (Apr 28 2020 at 23:31):
Stateful Premise Selection by Recurrent Neural Networks, by Bartosz Piotrowski, Josef Urban
Jason Rute (Apr 28 2020 at 23:32):
It says March 11, but I think it just dropped on Arxiv. I'll have a look and report back later.
Last updated: Dec 20 2023 at 11:08 UTC