Research combines PEP bounds with Lean autoformalization
fpedregosa · x · 2026-08-17
Paper by ErnestRyu et al. introduces a harness for optimization that combines PEP-style worst-case bounds with Lean autoformalization, leading to the development of many new optimal optimization algorithms.
More from Research
- IBM Open Sources Docling-Graph: Converting PDFs to Knowledge Graphs — aigleeson · 2026-08-17
- ZipSplat: Fewer Gaussians, Better 3D Scene Reconstruction — rsasaki0109 · 2026-08-17
- Petition calls for mandatory quantization labels in model评测 posts — Su1tz · 2026-08-17
- A Pathway to General-Purpose Scientific AI: New Multimodal Benchmark — SciKnowOrg · 2026-08-17
- Subjective Logic: A Foundational Book on Reasoning Under Uncertainty — FrnkNlsn · 2026-08-17
- Study: Simple methods achieve high accuracy in known protein interaction prediction — anshulkundaje · 2026-08-17