Dmitry Selikhov
idimetrix
๐ชFounder, Planoda โ the AI-native work platform. Agents propose, humans approve. Replaces Linear, ClickUp, Monday & Trello. ๐CTO ยท 3X Founder.
@planoda New York
Cogito Ergo Sum
standardgalactic
๐๐ฐ๐ฎ๐ฆ ๐ฐ๐ง ๐ต๐ฉ๐ฆ ๐๐๐๐๐๐๐๐ ๐ถ๐๐๐๐๐๐๐ ๐ฐ๐๐๐๐๐๐๐
Xanadu Canada
Junyan Xu
alreadydone
Mathematical Research Engineer working on Lean's mathlib4 and autoformalization of algebraic geometry.
Formerly postdoc @ Heidelberg U & NIH, PhD @ Indiana U.
Mathlib Initiative Shenzhen
Jiaming Xu
jacoxu
Research Areas: Speech Separation, Auditory Attention, Dialogue System, Question Answering, Deep Learning, Natural Language Processing, Information Retrieval
Lei Ding
DINGLEIRICE1
Petroleum Engineer
Huge fan of Music, Prgramming and Sports
Rice, Total, Texas A&M Houston
Shengliang Pu
shlpu
Lecturer - Department of RS & GIS, Faculty of Geomatics, East China University of Technology.
ECUT China