Skip to content
View Lizn-zn's full-sized avatar
54 followers · 72 following

Achievements

Achievement: Pull Sharkx3Achievement: StarstruckAchievement: Pair ExtraordinaireAchievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx3Achievement: StarstruckAchievement: Pair ExtraordinaireAchievement: YOLOAchievement: QuickdrawAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report Lizn-zn

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@Kripner
Matěj Kripner Kripner
Automated/neural theorem proving, RL. PhD student at Charles University.
@Purewhite2019
Qi Liu (SJTU & SII) Purewhite2019
CS PhD Student @ ReThinklab, SJTU and SII (an institution dedicated to innovation in education and research in the field of AI)

Shanghai Jiao Tong University, Shanghai Innovation Institute Shanghai, China

@Magikaaarp
Xu Xiaoquan Magikaaarp
welcome!

University of Chinese Academy of Sciences

@TwoFX
Markus Himmel TwoFX
I used to work in an office

Lean FRO Karlsruhe, Germany

@leodemoura
Leonardo de Moura leodemoura
See https://leodemoura.github.io/about.html

AWS Seattle

@salinhkuhn
kuhnsa salinhkuhn
ETH Zurich BsC student
@deepseek-ai
DeepSeek deepseek-ai
@subfish-zhou
Ziyu Zhou subfish-zhou

Prague

@math-inc
Math, Inc. math-inc
A new company dedicated to autoformalization and the creation of verified superintelligence.

United States of America

@LeonaApera
Jianuo Cao LeonaApera
Hi, This is Jianuo Cao, currently a second-year undergraduate at Nanjing University, majoring Intelligence Science and Technology.

Nanjing University Nanjing University

@lorn666
Jiayi Sheng lorn666
@zhouliang-yu
Zhouliang Yu zhouliang-yu
PhD student at CUHK
@SoftProver
SoftProver
@wierton
wierton

Nanjing University

@gvariable
whoknows gvariable
Try to know something about everything, know everything about something.

Nanjing University Nanjing, China

@hanwenzhu
Thomas Zhu hanwenzhu
research scientist @ bytedance seed
@njuyxw
njuyxw
@RexWzh
RexWang RexWzh
A PhD student in Computer Science at ECNU
@ice1000
Tesla Zhang‮ ice1000
Type theory daisuki

@plctlab Pennsylvania, Gensokyo

@Runze-Wu
Runze Wu Runze-Wu
Ph.D. student at NJU CS

Nanjing University Nanjing, China

@PratherConid
Yicheng Qian PratherConid
@GanjinZero
Zheng Yuan GanjinZero
Ph.D. from THU Center of Statistical Science. Ex: Qwen. Focus on Alignment, Reasoning and Medical in NLP.

Beijing

@wuyii8941
zihan tang wuyii8941
@jaalonso
Jose A. Alonso jaalonso
Matemático interesado en el estudio y enseñanza de la lógica computacional, la programación funcional y el razonamiento automático.

Universidad de Sevilla Sevilla (España)

@Wenda302
Wenda Li Wenda302
Lecturer in Hybrid AI at the University of Edinburgh

University of Cambridge

@SoaringE
Baldwin He SoaringE
🌊🌊🌊

Nanking

@alreadydone
Junyan Xu alreadydone
Postdoc in math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.

Universität Heidelberg Heidelberg / Shenzhen

@xqyww123
Xu Qiyuan xqyww123
@yulonghui
Longhui Yu yulonghui
Large Language Model, Continual Learning, Trustworthy AI, Human‑centric/Data‑centric AI, Interactive ML

Peking University shenzhen

@JC-Chen1
Jiacheng Chen JC-Chen1

The Chinese University of Hong Kong

@caochenrui
Desert_Eagle caochenrui

USTC HangZhou

@zykRichard
Yanke Zhou zykRichard
Student of Computer Science and Technology School, Nanjing University.

Nanjing University Nanjing, China

@fzyzcjy
fzyzcjy fzyzcjy
"Hello, world!\n"

+=1 (seriously this is the name) Solar system

@mmaaz-git
Maaz mmaaz-git
PhD, University of Toronto.

Toronto, ON, Canada

@ForeverHaibara
ForeverHaibara
@kim-em
Kim Morrison kim-em

Canberra

@wiio12
HaimingW wiio12
PhD candidate at Sun Yat-sen University.
@teorth
teorth
@ImperialCollegeLondon
Imperial College London ImperialCollegeLondon
Imperial College London main code repository

United Kingdom

@catmeow123456
catmeow123456

Peking University

@yangky11
Kaiyu Yang yangky11
@UYTFVBNJ
高灏 Hao Gao UYTFVBNJ
心之所向，素履以往

Nanjing University NanJing

@kbuzzard
Kevin Buzzard kbuzzard
Professor of pure mathematics at Imperial College London. Currently learning about theorem provers.

@ImperialCollegeLondon London

@Strivin0311
Yunpeng Huang Strivin0311
@SandAI-org; @NJUDeepEngine; Nanjing University

SandAI China

@dnyBLUESKY007
Nongyu Di dnyBLUESKY007

Nanjing University Nanjing, Jiangsu

@zhaoyu-li
Zhaoyu Li (李照宇) zhaoyu-li
CS Ph.D. student @ University of Toronto & Vector Institute

University of Toronto Toronto, CA

@xinming-wei
Xinming Wei xinming-wei
CS Ph.D. @ Peking University

Peking University Beijing, China

@leanprover-community
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
@pruvisto
Manuel Eberl pruvisto
Postdoc at University of Innsbruck. Mostly working in formalisation of mathematics and the automation thereof. Also dabbles in Haskell occasionally.

University of Innsbruck Innsbruck

@harryhan618
Yibo harryhan618