ICLR 2025 Posters

Stream: Machine Learning for Theorem Proving

[Thomas Zhu]

Here are the posters related to formal math on ICLR 2025:

Poster time	Name	Link
4/24 pm (Oral 4/24 am)	miniCTX	miniCTX: Neural Theorem Proving with (Long-)Contexts
4/24 pm	ImProver	ImProver: Agent-Based Automated Proof Optimization
4/24 pm	LIPS	Proving Olympiad Inequalities by Synergizing LLMs and Symbolic Reasoning
4/25 am	Herald	Herald: A Natural Language Annotated Lean 4 Dataset
4/25 am	Rethinking Autoformalization	Rethinking and improving autoformalization: towards a faithful metric and a Dependency Retrieval-based approach
4/25 am	CARTS	CARTS: Advancing Neural Theorem Proving with Diversified Tactic Calibration and Bias-Resistant Tree Search
4/25 am	DeepSeek-Prover-v1.5	Harnessing Proof Assistant Feedback for Reinforcement Learning and Monte-Carlo Tree Search
4/25 pm	FormalAlign	FormalAlign: Automated Alignment Evaluation for Autoformalization
4/26 pm	Alchemy	Alchemy: Amplifying Theorem-Proving Capability Through Symbolic Mutation
4/26 pm	LeanAgent	LeanAgent: Lifelong Learning for Formal Theorem Proving
4/26 pm	Lean-STaR	Lean-STaR: Learning to Interleave Thinking and Proving

(Compiled from ICLR 2025 submission list by: @Sid @RexWang)

There is also an event, AI for Mathematics and Theorem Proving Social, hosted by @Alex Gu featuring Haiming Wang's talk on Kimina-Prover!

Please don't hesitate to add suggestions to the list!