Akshita Bhagia
AkshitaB
Research Engineer at AI2 | Previously a graduate student at UMass Amherst
@allenai
Ying Sheng
Ying1123
Large Language Models, Machine Learning Systems, Formal Verification, Automated Reasoning.
Lei Zhang
antiagainst
AI Compiler & Runtime. Currently: Triton, IREE, MLIR, LLVM. Previously: SPIR-V, Vulkan, Metal.
AMD AI Group Seattle