实体 aqueduct

aqueduct

PulseAugur coverage of aqueduct — every cluster mentioning aqueduct across labs, papers, and developer communities, ranked by signal.

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

主题

情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条

TOOL · CL_317453 · Oct 23 · 04:00

AI agents now optimize software with machine-checked proofs

研究人员开发了一种名为 agentic verified optimization 的方法，该方法使用 AI 代理来提高软件性能，同时通过机器检查的证明确保功能等价性。该方法利用现有代码作为规范，无需手动编写规范。该框架名为 Aqueduct，将 C++、Go 和 Rust 等语言的程序转换为 Lean 4 进行执行和推理，然后使用代理生成具有正确性证明的优化版本。对基准实现和实际应用程序的测试表明速度显著提高，尽管应用程序级别的收益…