Wenda Li Profile
Wenda Li

@WendaLi8

Followers
380
Following
481
Media
2
Statuses
152

Lecturer in hybrid AI at the University of Edinburgh. Interested in machine learning for (interactive) theorem proving, formalised mathematics, and AI for Math.

https://t.co/Bk1iqo97vv
Edinburgh, UK
Joined October 2020
Don't wanna be here? Send us removal request.
Explore tweets Explore followers Explore following
@JiayiWang11
J
@JiayiWang11
Trowbridge, England
@guohao_li
Guohao Li
@guohao_li
@bookletboy
booklet boy
@bookletboy
@OpenAI
OpenAI
@OpenAI
@LukeKucinski
Łukasz Kuciński
@LukeKucinski
@emiyazono
Evan Miyazono
@emiyazono
Palo Alto, CA
@ludgerpaehler
Ludger Paehler
@ludgerpaehler
San Francisco, CA
@KevinHanHuang1
Kevin Han Huang
@KevinHanHuang1
London, England
@yuzhaouoe
Yu Zhao
@yuzhaouoe
@KarnatakNimisha
Nimisha Karnatak
@KarnatakNimisha
@orouji
Elias Orouji
@orouji
Toronto, Ontario
@SidGadgil
Siddhartha Gadgil
@SidGadgil
Bengaluru, India
@tonofcrates
Will Crichton
@tonofcrates
he/him
@HolarisSun
Hao Sun - RL LLM
@HolarisSun
Cambridge, UK
@FaZhou_998
Fan Zhou
@FaZhou_998
Shanghai
@dongqi_me
Dongqi Pu
@dongqi_me
🇩🇪⇔🇨🇳
@franklyn_wang
Franklyn Wang
@franklyn_wang
@janarhertz
Jana Rodriguez Hertz 汉娜
@janarhertz
Shenzhen, China
@mvechev
Martin Vechev
@mvechev
@ninamiolane
Nina Miolane
@ninamiolane
Santa Barbara, California, USA