Crossposting invitation to AI maths study participation

Stream: Machine Learning for Theorem Proving

[Albert Jiang]

https://leanprover.zulipchat.com/#narrow/stream/113486-announce/topic/Invitation.20to.20participate.20in.20AI.20maths.20assistant.20study

[Fabian Glöckle]

I consider this a very useful project: We have had lots of discussion on the LLM paradigm for mathematics on this channel recently to which this study would add reliable data. Also, it may be a proof of concept for how to overcome the GPT paradigm and ground LLMs in more than just next word prediction tasks for proofs.

[Filippo A. E. Nuccio]

I have tried participating in the study, but my browser systematically times out. Has someone been able to finish it?

[Albert Jiang]

Filippo A. E. Nuccio said:

I have tried participating in the study, but my browser systematically times out. Has someone been able to finish it?

Sorry to hear about your experience! We are using gradio hosting which communicates with an ssh connnection to us-west. It's highly possible that experiences differ because of that. We're trying to improve this experience. And thank you so much for your patience and time!

[Filippo A. E. Nuccio]

I will try again, perhaps tomorrow. For the time being, I still cannot go beyond the first page (the one I can access by clicking the very first LINK button).