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.
Edinburgh, UK
Joined October 2020
Don't wanna be here?
Send us removal request.
Explore trending content on Musk Viewer
North Carolina
• 878067 Tweets
Hurricane Helene
• 689427 Tweets
EP4 U STEAL MY HEART
• 390507 Tweets
FEMA
• 331183 Tweets
#FreeMorara
• 320207 Tweets
Mario
• 205923 Tweets
Dikembe Mutombo
• 132303 Tweets
Valdosta
• 125596 Tweets
Mimi
• 71671 Tweets
Verizon
• 60912 Tweets
Mets
• 57161 Tweets
HAPPY JIMTOBER
• 45806 Tweets
Indigenous
• 45547 Tweets
#النصر_الريان
• 41526 Tweets
#الاهلي_الوصل
• 38846 Tweets
Braves
• 38208 Tweets
Franklin Graham
• 32156 Tweets
MANTRA IS COMING
• 26047 Tweets
#KYSvBJK
• 24403 Tweets
Onana
• 20957 Tweets
Kemp
• 20325 Tweets
Powell
• 18975 Tweets
Semih
• 17004 Tweets
#KızılGoncalar
• 14784 Tweets
Kayseri
• 13414 Tweets
الجيش اللبناني
• 11600 Tweets
No tweets found