2020-09-03 13:52:31 (GMT)
We need to find the next date and the next paper!
2020-09-03 13:52:44 (GMT)
17/09
2020-09-03 13:52:57 (GMT)
01/10
2020-09-03 13:53:26 (GMT)
Regarding the papers, please submit your suggestions below so that we can vote for them!
2020-09-03 14:0:2 (GMT)
Ok so it's @Haniel Barbosa 's paper, but I still think it'd be an interesting discussion:
"congruence closure with free variables"
https://homepages.dcc.ufmg.br/~hbarbosa/papers/tacas2017.pdf
2020-09-03 14:5:35 (GMT)
And if we want to look at another theoretical paper, there is the best paper award of IJCAR 2020 that has me curious:
"Politeness for The Theory of Algebraic Datatypes"
https://arxiv.org/abs/2004.04854
2020-09-03 14:27:8 (GMT)
Otherwise, for a (refreshing?) dive in the world of machine learning for ATP, there is the short paper:
"Make E Smart Again"
https://link.springer.com/chapter/10.1007/978-3-030-51054-1_26
(but this is just a random suggestion, no idea if this is any good or interesting, and I also don't know if the paper is available as a pdf without paywall).
2020-09-10 8:37:10 (GMT)
Taking the votes for dates and for papers into account, I believe it is best to schedule the next meeting on 01/10. If no one complains (please do if want a bookclub to happen next week!! I have nothing against it, I just don't observe a lot of motivation regarding the papers currently proposed from the people that upvoted the 17/09, and they can all attend also on the 01/10), I plan to update the thread title tomorrow.