Skip to content
View ShreckYe's full-sized avatar
61 followers · 273 following

Achievements

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

Achievements

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

Organizations

@aya-prover @huanshankeji

Block or report ShreckYe

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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
@modelcontextprotocol
Model Context Protocol modelcontextprotocol
An open protocol that enables seamless integration between LLM applications and external data sources and tools.
@ROCm
AMD ROCm™ Software ROCm
@yangky11
Kaiyu Yang yangky11
Research Scientist @ Meta, FAIR

Meta Fundamental AI Research (FAIR) New York, NY

@Peiyang-Song
Peiyang Song Peiyang-Song
CS Undergrad w/ Robotics minor @ Caltech. AI Researcher @ UC Berkeley & Stanford.

California Institute of Technology Pasadena, CA, United States of America

@lean-dojo
LeanDojo lean-dojo
Machine Learning for Theorem Proving in Lean

United States of America

@b-mehta
Bhavik Mehta b-mehta
Chapman Fellow in Mathematics at Imperial College London

Cambridge

@themathqueen
Monica Omar themathqueen
@kmill
Kyle Miller kmill

Santa Cruz, California

@YaelDillies
Yaël Dillies YaelDillies
First year PhD student at Stockholm Universitet in additive combinatorics.

Stockholm Universitet Stockholm

@urkud
Yury G. Kudryashov urkud
Formalization lead at @harmonic-ai

Harmonic Palo Alto

@Goedel-LM
Goedel-LM
@tonyxty
Tony Beta Lambda tonyxty
Free (free as in FreeCell) software supporter & practitioner.
@frenzymath
FrenzyMath frenzymath
@reaslab
ReasLab @ BICMR reaslab
@Agda-zh
Agda 中文文档 Agda-zh
Agda 中文文档翻译
@lambda-magic
λ Magic lambda-magic
Programming language theory special interest group.

Gensokyo

@astrainfinita
Yuyang Zhao 赵雨扬 astrainfinita

CUHK-Shenzhen 香港中文大学（深圳） {Futian, Longgang}, Shenzhen 深圳{福田, 龙岗}

@alissa-tung
Alissa Tung alissa-tung

The Chinese University of Hong Kong, Shenzhen

@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

@bicmr-ai4math
bicmr-ai4math
@liyongsea
Jia LI liyongsea
@BoltonBailey
Bolton Bailey BoltonBailey
Proof dude

Project Numina California

@teorth
teorth
@MoonshotAI
Moonshot AI MoonshotAI
@haruhisa-enomoto
Haruhisa Enomoto haruhisa-enomoto
a postdoc majoring in the representation theory of algebras
@eric-wieser
Eric Wieser eric-wieser

@google-deepmind Greater London area

@chasenorman
Chase Norman chasenorman
@jasonrute
Jason Rute jasonrute
Former mathematician turned data scientist turned AI researcher. My passion is teaching AI systems to reason, especially in mathematics.

@mistral.ai Greater Boston, MA

@jsm28
Joseph Myers jsm28
@leanprover-community
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
@project-numina
project-numina
@PatrickMassot
Patrick Massot PatrickMassot

Paris

@avigad
Jeremy Avigad avigad

Carnegie Mellon University Pittsburgh

@Lean-zh
Lean 中文文档翻译 Lean-zh
@leodemoura
Leonardo de Moura leodemoura
See https://leodemoura.github.io/about.html

AWS Seattle

@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

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

@ImperialCollegeLondon London

@Kha
Sebastian Ullrich Kha

Lean FRO Munich, Germany

@Goooler
Zongle Wang Goooler
Code is objective.

Chengdu, China

@CsCherrYY
Shi Chen CsCherrYY

Microsoft Shanghai

@sake92
Sakib Hadžiavdić sake92
FlowRun.io, Sharaf, OpenApi4s, Hepek

@sacode387 Sarajevo, Bosnia

@rcardin
Riccardo Cardin rcardin
Computer Science addicted 🔥. Principal lecturer @ the University of Padua. Senior Software Engineer @ Lastminute.com. Technical Blogger @ RockTheJvm

Lastminute.com Padova, Italy

@lefou
Tobias Roeser lefou
Scala/Java/Kotlin developer; long term Linux user; OSM mapper; Open Source contributor; Mill Maintainer; available for (Open Source) contract work

Freelancer, working remotely Germany, Lusatia

@typst
Typst typst
The new foundation for documents: Limitless power to write, create, and automate anything that you can fit on a page.

Berlin

@Gsunshine
Zhengyang Geng Gsunshine
CS PhD student at CMU

CMU

@OpenXiangShan
XiangShan OpenXiangShan
Open-source high-performance RISC-V processor
@twitter
X (fka Twitter) twitter
X 💙 #opensource
@LiRunyi2001
Runyi Li (Lake) LiRunyi2001
Master's Student at Peking University

Peking University

@rockthejvm
Rock the JVM! rockthejvm
The official repositories for Rock the JVM courses
@typelevel
typelevel.scala typelevel
Let the Scala compiler work for you.