- Efficient sequence modeling
- Large language models
- Machine learning systems
- Computer vision
- Scientific machine learning
- Multimodal & agentic AI
- Formal methods & mathematical AI
LLM Systems · Sequence Models · AI Infrastructure · Multimodal AI · Computer Vision · Scientific ML · ML Compilers · Formal Methods
External repositories with merged contributions: 2

