人物. Kokic Liu [kokic]
人物. Kokic Liu [kokic]
付费咨询请通过邮件联系. For paid consultation, please contact me via email. Translation, en-GB to zh-CN. “Jon Sterling - 数学排版工具之要求”. In October 7, 2025. Also see Requirements for typesetting mathematics. Open Source Project. Kodama, A Typst-friendly static Zettelkästen site generator. Inspired by Jon Sterling’s Forester. In January 19, 2025 - $\infty$. Lecture Note. “A Correspondence between Stack Permutations and Binary Trees via Hille Encoding”. In December 10, 2024. Lecture Note. “A Brief Survey of UMAP”. In November 9, 2024. Competitive Programming. Codewars Rank 2 kyu. Top 1.659%. In October 2024. Conference Participant. Workshop on Formal Proofs and Lean. In National University of Singapore, The Institute for Mathematical Sciences, Apr 15, 2024 - Apr 26, 2024. Mini-Course Participant. Algebraic $K$-Theory and Prismatic Cohomology. Longke Tang. In Beijing International Center for Mathematical Research, December 12, 2023 - January 3, 2024. Visiting Scholar. The integration of Lean4 theorem prover with large language models. Peking University. In Beijing International Center for Mathematical Research, November 2023 - September 2024. Related Projects & Papers: “Herald: A Natural Language Annotated Lean 4 Dataset”, Powered by jixia, A static analysis tool for Lean 4. “A Semantic Search Engine for Mathlib4”, Powered by LeanSearch, A semantic search engine for Lean 4 projects. Acknowledged Contributor. “EgoLocate: Real-time Motion Capture, Localization, and Mapping with Sparse Body-mounted Sensors”. In ACM SIGGRAPH 2023.联系 [contact]
Curriculum Vitae [cv]
链接 [links]
洛衣博客 www.lozumi.com Colin’s Blog blog.oyyko.com 废紙时雨 blog.shigure.fun dada 的研究站 kono-dada.github.io 迷亭的日记 m1ting.github.io 徐天乐 blog.xtlsoft.top Xinyu Yi xinyu-yi.github.io Ashitemaru ashitemaru.github.io Chang Wang scholar.google.com/citations?… Spore blog.spore.ink Studying Father’s blog studyingfather.com Lambdaiae tonyxty.github.io 辜开源 sites.google.com/view/gubao 张峻铭 www.llddeddym.site 唐珑珂 web.math.princeton.edu/~longket Reinhardt 的魔法小屋 reinhardthk.github.io 徐诩绫目 Xuxuayame home.ustc.edu.cn/~xuxuayame
肖梁 faculty.bicmr.pku.edu.cn/~lxiao 陈华一 chenhuayi.lab.westlake.edu.cn 李文威的数学主页 www.wwli.asia 李超 www.math.columbia.edu/~chaoli 望月新一＠数理研 www.kurims.kyoto-u.ac.jp/~motizuki 斎藤 毅 www.ms.u-tokyo.ac.jp/~t-saito James Milne www.jmilne.org Dustin Clausen www.ihes.fr/~dustin Jacob Lurie www.math.ias.edu/~lurie Borcherds math.berkeley.edu/people/faculty/richard-e-borcherds Joseph Silverman www.math.brown.edu/johsilve Don Zagier people.mpim-bonn.mpg.de/zagier Oleg Kiselyov - Index okmij.org/ftp 蒋炎岩 jyywiki.cn Paul Erdös www.emis.de/classics/Erdos kerodon kerodon.net Gaitsgory’s DAG people.mpim-bonn.mpg.de/gaitsgde/Book The Rising Sea math.stanford.edu/~vakil/216blog The Stacks project stacks.math.columbia.edu 香蕉空间 www.bananaspace.org $n$Lab ncatlab.org 1Lab 1lab.dev LMFDB www.lmfdb.org $\beta$-LMFDB beta.lmfdb.org Math Genealogy www.genealogy.math.ndsu.nodak.edu