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

Skip to content
View RuoranXu's full-sized avatar

Block or report RuoranXu

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
@barrettcw
Clark Barrett barrettcw

Stanford University

@fuqi-jia
Fuqi Jia fuqi-jia

Institute of Software Chinese Academy of Sciences Beijing, China

@jiajunwu
Jiajun Wu jiajunwu

Stanford University Stanford, CA

@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

@minalspatil
Minal S Patil minalspatil
Explainable AI, Machine Reasoning

Scania CV AB Stockholm, Sweden

@roozbeh-yz
Roozbeh Yousefzadeh roozbeh-yz
AI for Math

ExtrapolAI Palo Alto, CA

@dominik3141
Dominik Farr dominik3141
Mathematician now doing AI.

Softmax San Francisco, USA

@FeorgeGeorge
Kadanstsev Georgii FeorgeGeorge
Pure Mathematics graduate student, working on formalisation of category theory + mathematical logic

Saint Petersburg, Russia

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

@ImperialCollegeLondon London

@yuandong-tian
Yuandong Tian yuandong-tian
Research Scientist in Meta AI Research (FAIR)

Facebook

@peihaowang
Peter peihaowang
ECE PhD Student at UT Austin.

University of Texas at Austin Austin, Texas, United States

@TianxingChen
Tianxing Chen (陈天行) TianxingChen
PhD. Student at MMLab@HKU & CoFounder @Lumina-EAI

The University of Hong Kong Hong Kong

@digama0
Mario Carneiro digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.

Chalmers University of Technology Gothenburg, Sweden

@siddhartha-gadgil
Siddhartha Gadgil siddhartha-gadgil

Indian Institute of Science Bangalore

@avigad
Jeremy Avigad avigad

Carnegie Mellon University Pittsburgh

@zhouzihao501
Zihao Zhou zhouzihao501
Natural Language Processing
@Jason8Kang
Jason Jason8Kang

Fudan University SH

@ning-mz
Maizhen Ning ning-mz
PostDoc at Duke Kunshan University

University of Liverpool Liverpool, UK

@hanquansanren
Weiguang Zhang hanquansanren
He is a postgraduate student, whose re­search in­ter­est is in the field of ma­chine learn­ing and pattern recognition

Mickey Miao Miao House UK

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

Pittsburgh, PA

@leanprover-community
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
@ccodel
Cayden Codel ccodel
Fourth-year formal methods PhD student at Carnegie Mellon University.
@thefundamentaltheor3m
Sidharth Hariharan thefundamentaltheor3m
PhD student at Carnegie Mellon University | MSci Mathematics graduate from Imperial College London

Carnegie Mellon University Pittsburgh, Pennsylvania, United States

@benjaminfjones
Benjamin Jones benjaminfjones
Studied math, physics, and computer science in college, did a Ph.D. in math, currently working for AWS from Portland, OR.

AWS Portland, OR

@pitmonticone
Pietro Monticone pitmonticone
Informal Mathematics @unitrento || Formal Mathematics at Harmonic || Formalising in @leanprover || Developing in @JuliaLang and @python.

University of Trento Trento, Italy

@justincasher
Justin Asher justincasher
Math AI

Palo Alto, CA