Open-source code agent designed for Lean 4
LL model providing reasoning and conversational capabilities
Open language model developed by NVIDIA as part of Nemotron-3 family
Large language model developed and released by NVIDIA
Model that fuses instruct, reasoning and agentic skills
React app for inspecting, building and debugging with the Realtime API
Russian ASR model fine-tuned on Common Voice and CSS10 datasets
Portuguese ASR model fine-tuned on XLSR-53 for 16kHz audio input
FP8 Qwen model for efficient multimodal coding and agent tasks
Tencent’s 36-language state-of-the-art translation model
Compact 8B multimodal instruct model optimized for edge deployment
JetBrains’ 4B parameter code model for completions
Versatile 8B-base multimodal LLM, flexible foundation for custom AI
Small 3B-base multimodal model ideal for custom AI on edge hardware
Efficient 8B multimodal model tuned for advanced reasoning tasks.
High-precision 14B multimodal model built for advanced reasoning tasks
Ultra-efficient 3B multimodal instruct model built for edge deployment
Dense multimodal Qwen model for coding, agents, and long context