[#Machine Learning for Theorem Proving > ICLR 2025 Posters](https://leanprover.zulipchat.com/#narrow/channel/219941-Machine-Learning-for-Theorem-Proving/topic/ICLR.202025.20Posters)
