jiangsy's Following
- aliang8University of Southern California
- alimuldalDeepMind
- ammarfaizi2@TeaInside @llvm @GNUWeeb
- andrevidela
- arademakerIBM Research and EMAp/FGV
- Aurel300
- brunocdsoliveira
- chemacortesDGA
- digama0Chalmers University of Technology
- elixir-lang
- fredstroUniversity of Nottingham
- goldfirere@janestreet
- hauntsaninja@OpenAI
- hkust-tacoHong Kong
- JacquesCaretteMcMaster University
- jikechaoTianjin University
- kbuzzard@ImperialCollegeLondon
- LLM4Coq
- logsemAarhus, Denmark
- Lysxia
- martinescardoUniversity of Birmingham
- maxsnewUniversity of Michigan CSE
- neel-krishnaswamiUniversity of Cambridge
- omegaiotaCambridge, MA
- PingchuanMaMIT CSAIL
- probcompCambridge, MA
- SakitsMIT, EECS
- shenjiasi
- simran-arora
- TheoWinterhalterINRIA Saclay
- VictorTaelinHigher Order Company
- williamdemeoIO @input-output-hk
- yallopUniversity of Cambridge
- yiyunliuUniversity of Pennsylvania
- zhuohan123UC Berkeley
- ztatlockUniversity of Washington