代码大模型 / AI 编程

Haskell meets Evariste

Haskell 与 Evariste 的交汇

Paulo R. Pereira, Jose N. Oliveira

专题命中 仓库级理解 ：repository(abstract)；分类 cs.PL

AI总结 本文探讨了通过易难分拆策略提升Haskell函数文档清晰度和概念设计的方法，并展示了其在程序分析与综合中的应用价值。

Visual Insights into Agentic Optimization of Pervasive Stream Processing Services

面向普及流处理服务的代理优化可视化

Boris Sedlak, Víctor Casamayor Pujol, Schahram Dustdar

专题命中 仓库级理解 ：repository(abstract)

AI总结 本研究提出了一种面向普及流处理服务的自动扩展平台，通过代理优化服务执行，提升资源利用率和系统性能。

Multi-Task Lifelong Reinforcement Learning for Wireless Sensor Networks

多任务终身强化学习用于无线传感器网络

Hossein Mohammadi Firouzjaei, Rafaela Scaciota, Sumudu Samarakoon

专题命中 仓库级理解 ：repository(abstract)

AI总结 本文提出了一种基于终身强化学习的多任务自适应策略，用于提升无线传感器网络在动态环境中的能耗效率和稳定性。

Journal ref Proc. IEEE PIMRC 2025, pp. 1-6