Skip to content
View Wenda302's full-sized avatar
35 followers · 12 following
  • University of Cambridge

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report Wenda302

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
@xqyww123
Xu Qiyuan xqyww123
@gteege
Gunnar Teege gteege

Universität der Bundeswehr München

@goens
Andrés Goens goens

University of Amsterdam Amsterdam, NL

@tobiasgrosser
Tobias Grosser tobiasgrosser

University of Cambridge Cambridge

@EdinburghNLP
Edinburgh NLP EdinburghNLP
The Natural Language Processing Group at the University of Edinburgh

Edinburgh

@wellecks
Sean Welleck wellecks

Carnegie Mellon University Pittsburgh

@PatrickMassot
Patrick Massot PatrickMassot

Paris

@collinskatie
Katie Collins collinskatie
PhD Student in Machine Learning University of Cambridge; MPhil ML Cambridge '22, MIT '21

University of Cambridge

@zhangir-azerbayev
Zhangir Azerbayev zhangir-azerbayev
@spolu
Stanislas Polu spolu

Dust Paris

@albertqjiang
Albert Jiang albertqjiang
Alchemist | Trying to be a chemist

University of Cambridge

@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