Stream: new members
mikey liu (Apr 12 2021 at 23:37):
hi i'm interested in learning lean and potentially contributing & using it to further automate theorem proving. i hope i was not too blunt to go straight to the general channel before making this introduction to talk about dreamcoder. but i am seriously stoked about that paper, as it combines a lot of important pieces together imho. i'm just an undergrad (graduated already), and my strengths are algorithms and reinforcement learning.
Alex J. Best (Apr 13 2021 at 00:47):
Hi @mikey liu, welcome! There is a specific stream for #Machine Learning for Theorem Proving, if you haven't seen it already, I think you have to subscribe separately. But that seems the most appropriate place to discuss the applications of this paper to Lean/ATP.
Jason Rute (Apr 13 2021 at 03:18):
I don’t think I have permission to do so but I would be happy to have the current discussion (#general dreamcoder) moved to #Machine Learning for Theorem Proving. But regardless of where it is discussed, welcome @mikey liu, and I for one am always happy to discuss more about Lean, RL, and program synthesis. :smile:
Jason Rute (Apr 13 2021 at 03:19):
Also, you should check out the #lean-gptf channel as well.
Last updated: May 14 2021 at 04:22 UTC