Three meetings on AI/ML for Math/Theorem Proving this week

Stream: Machine Learning for Theorem Proving

[Jason Rute]

There are three meetings this week on AI/ML for Math/Theorem Proving:

• AITP 2024
  • Lean Zulip discussion: #Machine Learning for Theorem Proving > AITP 2024
• AI for Mathematics Workshop on Lean, Automated Reasoning and Beyond
  • Lean Zulip announcement: #announce > AI for Mathematics Workshop on Lean, Sep. 2-6, Beijing
  • Lean Zulip discussion: #general > AI for Mathematics Workshop on Lean, Sep. 2-6, Beijing (d...
• Mathematics and Machine Learning - Opening Workshop
  • Part of a larger semester at Harvard on Mathematics and Machine Learning
  • They have their own Zulip for discussions: mml2024.zulipchat.com