Thanks to visit codestin.com
Credit goes to github.com

Skip to content
View Lizn-zn's full-sized avatar

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
@salinhkuhn
kuhnsa salinhkuhn
ETH Zurich BsC student
@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

@wierton
wierton

Nanjing University

@gvariable
Peili Gao gvariable
Try to know something about everything, know everything about something.

Nanjing University Nanjing, China

@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

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

Beijing

@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
PhD in Math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.

Heidelberg / Shenzhen

@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

@zykRichard
Yanke Zhou zykRichard
Undergraduate Student of Kuang Yaming Honor 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

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

United Kingdom

@catmeow123456
catmeow123456

Peking University

@yangky11
Kaiyu Yang yangky11
Research Scientist @ Meta, FAIR

Meta Fundamental AI Research (FAIR) New York, NY

@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

@dnyBLUESKY007
Nongyu Di dnyBLUESKY007

Nanjing University Nanjing, Jiangsu

@zhaoyu-li
Zhaoyu Li (李照宇) zhaoyu-li
Research scientist intern @ Meta FAIR, CS Ph.D. student @ University of Toronto & Vector Institute

University of Toronto New York, US

@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

@Ph0en1xGSeek
Ph0en1xGSeek

Nanjing, China

@YikeZhou
Yike Zhou YikeZhou
🐦‍⬛ birdwatcher
@Mandule
Liu Ji Mandule

NJU NanJing JiangSu