Zulip Chat Archive

Stream: Machine Learning for Theorem Proving

Topic: Memorizing transformers

Jason Rute (May 20 2022 at 18:31):

Also, see this talk by @Yuhuai Tony Wu on Memorizing Tranformers at the New Tech in Math seminar: https://www.youtube.com/watch?v=5AoOpFFjW28. He lays out a good case for how it could be used for theorem proving (and the challenges still to be solved to make it usable for that case).

Jason Rute (May 20 2022 at 18:33):

@Adam Topaz Maybe we should move the discussion on Memorizing Transformers to its own topic.

Adam Topaz (May 20 2022 at 18:36):

@Jason Rute Done!

Last updated: Dec 20 2023 at 11:08 UTC