JMM AI4Math Meet-up

Stream: Machine Learning for Theorem Proving

[Carina Hong]

Hello everyone, I am attending the JMM in Seattle right now, and there are so many cool talks by people in the community (@Jason Rute @Jarod Alper @Alex Kontorovich @Jeremy Avigad @Adam Topaz @Rishi Mehta @Yuhuai Tony Wu @Pan Lu @Kaiyu Yang - apologies in advance if I missed you) that y'all should definitely attend.

In addition to the wonderful presentations, I would love to plan a social event (maybe dinner / ice cream tomorrow evening - the 9th) and chat about automated theorem-proving, autoformalization, verified generation, etc. Calling every Lean expert, mathematician, and machine learning scientist for a fun community-building conversation!
[If there is already such a gathering, I must have failed to find it on the program website - so I'd appreciate someone pointing out that for me - thank you!]

My phone number is 650-201-2166 if folks in Seattle want to coordinate via text / WhatsApp / signal.

Best
Carina

[Adam Topaz]

Hi! I’ll only be in Seattle for less than 24 hours, but I would be happy to try to meet up with folks this (Jan 9) evening!

[Jason Rute]

There is also a related discussion about meeting up at JMM in #Geographic locality > Seattle, WA.

[Jason Rute]

But I would be happy to meet at some point!

[Jason Rute]

Also @George Tsoukalas @George Tsoukalas @Amitayush Thakur @Alex Gu and a number of other people maybe not in this Zulip.

[Alex Gu]

unfortunately I am not at JMM, but appreciate the thought :)

[Jason Rute]

I had to come late. Were there any interesting talks or discussions on AI for Math so far?

[Carina Hong]

A few of us plan to meet at cheesecake factory right by the Convention Center at 7:30pm tonight to talk about AI for math and reasoning, formalization and autoformalization, etc. Join us for dinner (or just drop by for the convo if you have other dinner plans) if you can!

[Jason Rute]

I might join, but not for dinner. If so, should I just stop by anyway, or do you plan to go somewhere after?

[Carina Hong]

Maybe stop by anyway!

[Jason Rute]

Sorry, something personal came up and I couldn’t make it.