Zulip Chat Archive

Stream: lean-gptf

Topic: GPTf and PACT talk today

view this post on Zulip Jason Rute (Mar 03 2021 at 13:07):

In about 7 hours, at 3pm EST (UTC-5), I'm going to give a Zoom talk at the Harvard New Technologies in Mathematics seminar on our gptf tactic and the PACT method we use to train the current version. There will be a demo. Here is the abstract and Zoom link. I also think it will be recorded and put on YouTube.

view this post on Zulip Kevin Buzzard (Mar 03 2021 at 13:18):

Oh nice! I gave a talk there a few months ago and Yau (big shot geometer) was in the audience. I think Hales spoke there recently -- they put my talk on YT so hopefully yours and Hales' will also end up there too

view this post on Zulip Jason Rute (Mar 05 2021 at 23:33):

The video is up on YouTube and the slides are here.

view this post on Zulip Jason Rute (Mar 05 2021 at 23:33):

We would love to have you try out the gptf tactic. See the instructions at https://github.com/jesse-michael-han/lean-gptf . (It is fairly easy to setup. You don't have to install any special software or anything like that, besides Lean of course. The model runs in the cloud.)

Last updated: May 18 2021 at 09:14 UTC