Zulip Chat Archive
Stream: Machine Learning for Theorem Proving
Topic: NeurIPS 2023 meetup
Zygimantas Straznickas (Dec 12 2023 at 20:57):
Hi! Are there any ml-for-formal-math meetups at neurips this year?
Kaiyu Yang (Dec 13 2023 at 05:15):
https://twitter.com/AlbertQJiang/status/1734794207108231208
Last updated: Dec 20 2023 at 11:08 UTC