ConardLi
ConardLi
Reading makes a full man, conference a ready man, and writing an exact man.
Bytedance BeiJing
Ying Sheng
Ying1123
Large Language Models, Machine Learning Systems, Formal Verification, Automated Reasoning.
Stas Bekman
stas00
Toolmaker. Author. Software creator, optimizer and harmonizer. Makes things work.
Current domains: LLM/Training/Inference/Scalability/Machine Learning
Stasosphere Online Inc. / BC, Canada
Pete Walsh
epwalsh
Research engineer working on open source LLMs | Python | Rust | Neovim | Life is a changelog, change your life and keep a changelog
Central Oregon
Mauricio Villegas
mauvilsa
I am a postdoc researcher/developer currently working at omni:us
@omni-us Berlin, Germany