Ying Sheng
Ying1123
Large Language Models, Machine Learning Systems, Formal Verification, Automated Reasoning.
Liutong Chen
liutongchen
I love to create, break and fix things.
Amazon Greater Seattle Area, WA, USA
Edis Leka
edisleka
Code, coffee, and React Native ⚛️☕📱 | Making apps that just work | Learning one bug at a time 🐛➡️✨
Athens, Greece
James Pearce
jamesgpearce
Former Engineering Director at Meta: data infra, dev tools, open source, and too much of the Portal v1 codebase.
On a boat, hopefully in the tropics
Arize AI
Arize-ai
Unified AI engineering and evaluation platform to accelerate development and improvement of AI apps and agents