Four Lean Papers Debut at ICML
AnimaAnandkumar · x · 2026-07-10
Anima Anandkumar shares four Lean-related papers presented at ICML 2026 workshops. The topics cover verifiable machine learning systems, functional program synthesis, proof assistant interoperability, and scientific reasoning.
Related event: Four Lean-Related Papers on Verifiable ML Presented at ICML(2 posts)→
More from Research
- LTX 2.3 LoRA demo changes a video’s camera angle — CQDSN · 2026-07-21
- OpenForecaster uses daily news to improve language-model forecasting — Cohere_Labs · 2026-07-21
- SenseTime unveils U1 Pro and open-sources a 50M-sample vision dataset at WAIC 2026 — 机器之心 · 2026-07-21
- Baseten study finds new facts in LLM weights are fragile unless trained from many restatements — alex_verem · 2026-07-21
- Kimi K3 and Fable 5 now look much closer than the old open-vs-closed gap — FinanceYF5 · 2026-07-21
- uv-scripts/ocr returns to the top of Hugging Face datasets with a JSON model picker — vanstriendaniel · 2026-07-21