Four Lean-Related Papers on Verifiable ML Presented at ICML

A team presented four Lean-related papers at ICML workshops, covering topics such as verifiable ML systems using theorem proving, function program synthesis, and proof assistant interoperability.

2026-07-10 ~ 2026-07-10 · 2 related posts

• Four Lean Research Papers at ICML — AnimaAnandkumar · 2026-07-10

1 near-duplicate retellings: AnimaAnandkumar