@AnimaAnandkumar: Excited to share four Lean-related papers from our group at @icmlconf workshops in Math and Physics! Together, these wo…
Summary
Anima Anandkumar announces four Lean-related papers from their group at ICML workshops, covering verified ML systems, functional program synthesis, proof assistant interoperability, and scientific reasoning, positioning Lean as infrastructure for AI.
View Cached Full Text
Cached at: 07/10/26, 08:07 AM
Excited to share four Lean-related papers from our group at @icmlconf workshops in Math and Physics!
Together, these works explore how theorem proving can support verified ML systems, functional program synthesis, interoperability across proof assistants, and scientific reasoning. A common theme is using Lean not just as a proof assistant for mathematics, but as infrastructure for building, specifying, checking, and evaluating AI systems.
@Robertljg, Jennifer Cruden, Will Adkisson, UIUC team (Xiangru Zhong, @huan_zhang12), @AmazonScience Team (Carson Eisenach, @udayaghai, Dominique Perrault-Joncas, Dean Foster), Jiayi Wu, Isha Goswami, and Anushka Paulchoudhury. @Caltech #ICML2026 #AI4Math #AI4Physics #Lean #FormalVerification #AI4Science #MachineLearning
Similar Articles
@OpenAI: We’re releasing the manuscripts, formal Lean certificates, and reasoning walkthroughs so mathematicians can examine the…
OpenAI releases manuscripts, formal Lean certificates, and reasoning walkthroughs for ten AI-achieved advances in mathematics and theoretical computer science, including results on sphere packing, non-sofic groups, and quantum parallel repetition.
@AnimaAnandkumar: Congratulations!
Pengrui Han's paper received the Best Paper Award at the ICML Combining Theory and Benchmarks Workshop, with congratulations from Anima Anandkumar.
@rohanpaul_ai: Another great paper from Google. Shows general LLMs can solve formal math by planning proofs and checking each step. Ra…
A new Google paper introduces LEAP, an agentic framework that enables general LLMs to solve formal math problems by planning proofs and checking each step, raising performance from under 10% to 70% on the Lean IMO benchmark and solving all 2025 Putnam problems.
@prakashkagitha: As #ICML2026 is excitingly near, here are some of the most-cited papers and most-starred git repos: Code and workflows …
A tweet highlighting the most-cited papers and most-starred GitHub repos related to ICML 2026, with publicly available code and workflows to map papers to Semantic Scholar citation data and GitHub repos.
ICML (DL4C) Accepted ( Few queries ) [D]
A paper on few queries has been accepted at the ICML DL4C workshop.