GLIDE: a diffusion-based text-conditional image synthesis model
Large-scale autoregressive pixel model for image generation by OpenAI
Learning embeddings for classification, retrieval and ranking
Learning Continuous Signed Distance Functions for Shape Representation
A library for Multilingual Unsupervised or Supervised word Embeddings
Code for "Image Generation from Scene Graphs", Johnson et al, CVPR 201
Open-source code agent designed for Lean 4
Coding-focused Kimi model for long-horizon agent workflows
Open code agent for Lean 4 proofs and formal software verification
Open code agent for Lean 4 proofs and formal software verification
JetBrains’ 4B parameter code model for completions
Compact agentic model for coding, tools, and productivity tasks
Agentic coding model combining Opus reasoning and Fable tools
Vision-language-action model for robot control via images and text
Portuguese ASR model fine-tuned on XLSR-53 for 16kHz audio input