Chatting at NIPS

Stream: Machine Learning for Theorem Proving

[Zheng Yuan]

I’m not sure if this is a bit off-topic, but if anyone is attending NIPS (or the NIPS Math4AI Workshop) and would like to have a chat with me about formal math reasoning or Seed-Prover, feel free to reach out!