YOUR RESEARCH, IN SIGHT

让下一篇重要论文，不再错过。

覆盖计算机全学科，以 AI 为快捷入口。关注方向、作者和关键词，把发现变成持续的研究积累。

部分采集异常

正在读取账号与研究记录…

全站更新概况

+3034新增论文

+2739其中 AI 相关

+88已有论文修订

+100新增 AI 导读

arXiv 最近完成扫描：2026-11-06 00:46 · 全站最近入库：2026-11-05 12:13各信源进度 →

统计口径与数据新鲜度

统计 2026-11-05 01:47 — 2026-11-06 01:47（北京时间） · 点击数字查看对应简报；AI 相关包含在新增论文内。

最近完成检查：2026-11-06 00:46最近发现新增版本：2026-11-05 12:13库内论文最新更新时间：2026-11-05 02:59

每分钟刷新已保存的数据。空检查不代表采集异常；新收录可能包含历史论文。AI 导读按新增版本计数。

15,949 已收录论文13,765 AI 相关3,571 有修订112 HF 社区发现

浏览论文库

研究日报 / 周报 →按信源浏览 →

时间范围跟随排序：版本更新、本站收录或首次发表。最新收录可能包含历史论文。部分信源异常，查看状态 →

找到 1 篇论文 · 按版本更新时间排序上轮扫描起点 2026-11-06 00:44（北京时间）

版本更新 · v5arXiv:2505.07681

Verified Purely Functional Catenable Real-Time Deques

Jules Viennot, Arthur Wendling, Armaël Guéneau, François Pottier

We present OCaml and Rocq implementations of Kaplan and Tarjan's purely functional, real-time catenable deques. The correctness of our Rocq code is machine-checked.

尚无 AI 解读，展示原文摘要

cs.PL · cs.DS · cs.LO更新于 2026-11-04

arXiv ↗PDF ↗