Shurui Liu

Projets

Pour la recherche en mathématiques, voir Publications.

Mémoire agentique / recherche autonome / apprentissage au moment de l'inférence

  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].

* Contribution égale.

Projet Lean

  1. Formalization of $p$-adic representation theory, en cours, Page web, Graphe des dépendances. Shurui Liu, Zhuoni Chi, Stepan Kazanin.
  2. VeriBench: End-to-End Formal Verification Benchmark for AI Code Generation in Lean 4, en cours. Travail conjoint avec Brando Miranda, Zhanke Zhou, Allen Nie, et al.

Projet de cours

  1. Dynamic Ledger: Retrieval-Augmented Structured Memory for Test-Time Learning, Jerry Gu*, Shurui Liu*, Sabrina Yen-Ko*, encadré par Mirac Suzgun, Page web. CS224N 2025 winter.