· ai
[Paper] 即使有 AI，双射发现仍然困难：OpenEvolve 在新颖双射构建中的机遇与挑战
进化式程序合成系统，如 AlphaEvolve、OpenEvolve 和 ShinkaEvolve，提供了一种新的 AI 辅助数学发现方法。这些系统...
-
- · ai
[Paper] Beluga：一种基于 CXL 的内存架构，用于可扩展且高效的 LLM KVCache 管理
LLM 模型规模的快速增长以及对长上下文推理的日益需求，使得内存成为 GPU 加速服务系统的关键瓶颈……
- · ai
[Paper] CodeFuse-CommitEval：面向提交信息和代码变更不一致检测的LLM能力基准测试
Version control 依赖 commit messages 来传达代码更改的原因，但这些 messages 往往质量低下，更关键的是不一致……
- · ai
[论文] LLMs 能恢复程序语义吗？使用 Symbolic Execution 的系统性评估
Obfuscation 对于软件工程任务（如程序理解、维护、测试和漏洞检测）构成了持续的挑战。While …