Poster sessions

ICLR 2025 · Read our full coverage of this year's conference  

A few photos from the poster sessions throughout the week.

A large hall, with lots of people walking around. A red carpet runs through the middle of lines of academic paper posters.

Hall 3 posters

Researchers gather around a poster titled 'DeepSeek-Prover: Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search'

Huajian Xin presents DeepSeek-Prover

Researchers gather around a poster titled 'LeanAgent: Lifelong Learning for Formal Theorem Proving'

Adarsh Kumarappan presents LeanAgent