Zulip Chat Archive

Stream: Machine Learning for Theorem Proving

Topic: ICML2025

Chiung-Yi Tseng (Jul 08 2025 at 04:39):

Hi, who is going to ICML 2025 AI for Math workshop? (I'm going to :tada: ) Just want to say hi and hear from people. (I think it may be of the interests for this channel)

Justin Asher (Jul 08 2025 at 04:55):

I will be there. Excited to hear more about what everyone has been working on.

harry sanders (Jul 08 2025 at 21:27):

i'll be there too! similarly excited.

Leni Aniva (Jul 08 2025 at 21:50):

I'll be there as one of the area chairs

Chiung-Yi Tseng (Jul 10 2025 at 08:09):

:tada: See you all there!

Yiwei (Jul 10 2025 at 17:53):

I hope to make it to the end of it.

GasStationManager (Jul 12 2025 at 20:06):

I won't be able to go :(
I miss Vancouver very much! Hope y'all enjoy the city, it is beautiful in the summer.
Anyways, any paper recommendations?

Last updated: Dec 20 2025 at 21:32 UTC