A minimal PyTorch re-implementation of the OpenAI GPT
Large-scale autoregressive pixel model for image generation by OpenAI
A library for Multilingual Unsupervised or Supervised word Embeddings
Open-source code agent designed for Lean 4
Large language model developed and released by NVIDIA
Coding-focused Kimi model for long-horizon agent workflows
Portuguese ASR model fine-tuned on XLSR-53 for 16kHz audio input
Open code agent for Lean 4 proofs and formal software verification
Open code agent for Lean 4 proofs and formal software verification
Trillion-parameter MoE model for coding and million-token reasoning
Omnimodal AI model for agents, coding, and long-context tasks
Agentic coding model combining Opus reasoning and Fable tools