Zulip Chat Archive

Stream: new members

Topic: introducting myself: mikey liu

view this post on Zulip 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.

view this post on Zulip 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.

view this post on Zulip 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:

view this post on Zulip 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