Skip to content
View Zhang-Liao's full-sized avatar
25 followers · 249 following

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx2Achievement: QuickdrawAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex2Achievement: Pull Sharkx2Achievement: QuickdrawAchievement: Arctic Code Vault Contributor

Block or report Zhang-Liao

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 is supported. This note will only be visible to you.
Report abuse

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

Report abuse
@jinxinglim
Lim Jin Xing jinxinglim
[Full-time] Research Scientist @Beneficial-AI-Foundation • [Part-time] Software Engineer at @fastxyz

Beneficial AI Foundation Singapore

@sofia-lanfri
Sofia Lanfri sofia-lanfri
QA & Special Projects Lead

Pruvia de Arriba, Asturias, Spain

@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

@quangvdao
Quang Dao quangvdao
Formal verification for cryptography. PhD Student at Carnegie Mellon University

Pittsburgh, PA

@heyJessie1993
数据算法猎头Jessie heyJessie1993
微信：13454147786 职业：互联网技术猎头 擅长【数分/DS/算法/LLM】岗位； 2018年3月5日开始做猎头，最高年业绩172万

Hang Zhou

@Lieslie
Lieslie
@srzer
Ruizhe Shi srzer
PhD student @ UW-CSE. Undergraduate @ THU-IIIS. 不停留的岁月中找到满足

University of Washington Seattle

@austinletson
Austin Letson austinletson
Software Engineer @nyc

New York City

@TheodoreEhrenborg
Theodore Ehrenborg TheodoreEhrenborg
AI safety researcher
@kim-em
Kim Morrison kim-em

Canberra

@Lanrenw
Lanren Lanrenw
量化猎头Leon，WeChat：13122337353 热招岗位🥳 - PM/策略研究员（股票/期货/期权） - C++/Python/AI Infra开发工程师 行业：金融量化/Crypto base:北上深杭港✈️
@greptileai
Greptile greptileai
Greptile reviews code

United States of America

@MonkeyKing2005
荆国浩 MonkeyKing2005
@abdoo8080
Abdalrhman Mohamed abdoo8080
@spitters
Bas Spitters spitters

Aarhus University Denmark

@astefano
Lacramioara Astefanoaei astefano

grenoble, france

@chenson2018
Chris Henson chenson2018
PhD student at Drexel University studying Programming Languages. Interested in formalizations of categorical semantics in Lean.
@rolfeschmidt
Rolfe Schmidt rolfeschmidt

Privacy Research, LLC

@ChristianoBraga
Christiano Braga ChristianoBraga
I am associate professor at Universidade Federal Fluminense.

Universidade Federal Fluminense Brazil

@chenyang-an
chenyang-an
@xiuyr
xiuyr
@formal-land
Formal Land formal-land
Formal Verification for everyday-life applications
@clarus
Guillaume Claret clarus
Security researcher at @formal-land 🌲 for Web3 applications Applying the 🐓 proof system to find all the vulnerabilities. 🐻‍❄️

Formal Land Paris

@heartyguy
Tian Jian Wang heartyguy

@Roblox Bay Area

@dsleo
Léo DS dsleo
@truonghoangle
Hoang Le Truong truonghoangle
@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

@Francisco-Montanez
Francisco Francisco-Montanez

U S A

@a-dangelo
ADA a-dangelo
Hi! I'm Alessandro, Math PhD working on AI and ML engineering and formal verification. Building reliable agentic systems and verification tooling.
@scheminglunatic
alcuin scheminglunatic
少女再帰中

Arlington, VA

@Beneficial-AI-Foundation
Beneficial AI Foundation Beneficial-AI-Foundation
AI Safety + Formal Verification
@faenuccio
Filippo A. E. Nuccio faenuccio
I am Associate Professor in Mathematics in Saint-Étienne, France. I am a Mathlib maintainer and my research focuses on formalising mathematics, mostly in Lean.

Université Jean-Monnet Saint-Étienne, France

@cameronfreer
Cameron Freer cameronfreer
@max-tan123
max tan max-tan123
@xiaoranjin-bd
xiaoranjin-bd
@YichiZhou-bytedance
YichiZhou-bytedance
@math-inc
Math, Inc. math-inc
A new company dedicated to autoformalization and the creation of verified superintelligence.

United States of America

@quinn-dougherty
Quinn quinn-dougherty
Computer.

Berkeley

@Kukovec
Kukovec
@shaoweilin
Shaowei Lin shaoweilin

Singapore University of Technology and Design Singapore

@alok
Alok Singh alok
If you’re a smooth operator, you can infinitely differentiate yourself.

Berkeley, CA

@ElliotXinqiWang
Xinqi Wang ElliotXinqiWang
Great interests in ML, CV, Disneyland and giant robots.

@IIIS19 University of Washington, Seattle, Washington, US

@MarkusFerdinandDablander
Markus Ferdinand Dablander MarkusFerdinandDablander
Senior Research Scientist at BAIF | DPhil, University of Oxford | Theoretical & Applied Machine Learning, Deep Learning & Artificial Intelligence
@benruijl
Ben Ruijl benruijl
Computer scientist and theoretical physicist. Writing a next-generation computer algebra system.

Ruijl Research Zug, Switzerland

@bigaidream
Jie Fu bigaidream
Building maximally math-seeking AI, which might be sentient-friendly
@ypwang61
Yiping Wang ypwang61
PhD in UW CSE starting from 2023 fall

University of Washington Seattle

@SimonDu
SimonDu
@logical-intelligence
logical-intelligence
@sun-wendy
Wendy Sun sun-wendy
Physics & AI at MIT

MIT Cambridge, MA

@morph-labs
Morph morph-labs
Building the infrastructure for the singularity

United States of America