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: May 02 2025 at 03:31 UTC