刘抒睿

项目

数学相关研究请见论文。

智能体记忆 / 自主研究 / 测试时学习

  1. Automated Conjecture Resolution with Formal Verification. Haocheng Ju*, Guoxiong Gao*, Jiedong Jiang*, Bin Wu*, Zeming Sun*, Shurui Liu*, Leheng Chen, Yutong Wang, Yuefeng Wang, Zichen Wang, Wanyi He, Peihao Wu, Liang Xiao, Ruochuan Liu, Bryan Dai, Bin Dong. [Arxiv] [Rethlas] [Archon].

* 同等贡献。

Lean 项目

  1. Formalization of $p$-adic representation theory，进行中，网页，依赖图。Shurui Liu, Zhuoni Chi, Stepan Kazanin.
  2. VeriBench: End-to-End Formal Verification Benchmark for AI Code Generation in Lean 4，进行中。与 Brando Miranda、Zhanke Zhou、Allen Nie 等人合作。

课程项目

  1. Dynamic Ledger: Retrieval-Augmented Structured Memory for Test-Time Learning，Jerry Gu*, Shurui Liu*, Sabrina Yen-Ko*，导师 Mirac Suzgun，网页。CS224N 2025 winter。