Four Lean Research Papers at ICML
AnimaAnandkumar · x · 2026-07-10
Anima Anandkumar presented four Lean-related papers from ICML workshops, covering topics such as theorem proving for verifiable ML systems, function 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
- Chinese AI labs are now treating distillation obfuscation as the top research topic — pmddomingos · 2026-07-22
- Structural ensembles beat single predictions in TCR:pMHC generalization study — quaidmorris · 2026-07-22
- RSS launches under OMSF to push structural biology data modeling at scale — MoAlQuraishi · 2026-07-22
- enFoldX tops 8 neoantigen scans and an unseen-peptide benchmark — quaidmorris · 2026-07-22
- enFoldX reaches AUC 0.82 on human VDJdb and transfers to mouse at 0.76 — quaidmorris · 2026-07-22
- enFoldX gains accuracy as AF3 ensemble disagreement rises for non-binders — quaidmorris · 2026-07-22