新研究结合 PEP 边界与 Lean 自动形式化
fpedregosa · x · 2026-08-17
ErnestRyu 等人发布研究，开发了一种结合 PEP 风格最坏情况边界与 Lean 自动形式化的优化测试工具。利用该工具，研究人员开发了多种新的最优优化算法。
「研究」频道最新
- 迈向通用科学 AI：多模态科学图像理解新基准 — SciKnowOrg · 2026-08-17
- 主观逻辑：不确定条件下推理的形式化体系专著回顾 — FrnkNlsn · 2026-08-17
- 蛋白互作预测：简单方法在已知蛋白上效果极佳 — anshulkundaje · 2026-08-17
- ML 科学领域复现危机严重：32 种 PPI 方法仅 7 个可复训 — anshulkundaje · 2026-08-17
- 新论文破解基于序列的蛋白质互作预测黑盒 — anshulkundaje · 2026-08-17
- 中国脑读 AI 模型或可提前 4 年预测抑郁症风险 — Affectionate_Bee6434 · 2026-08-17