TwiScan 인기 커뮤니티 계정 컬렉션
로그인 회원가입

가입 후 초대 링크를 공유하면 동영상 재생 및 초대 보상을 받을 수 있습니다.

지금 가입
컬렉션에 추가
Wenda Li
@WendaLi8
Lecturer in hybrid AI at the University of Edinburgh. Interested in machine learning for (interactive) theorem proving, formalised mathematics, and AI for Math.
601 팔로잉 중    1.1K 팬