Zulip Chat Archive

Stream: new members

Topic: introducting myself: mikey liu


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: Dec 20 2023 at 11:08 UTC