Signal Processing and Classification Environment in Python using YAML
Open-source code agent designed for Lean 4
Model that fuses instruct, reasoning and agentic skills
Open reasoning model for agentic coding and tool workflows
Trillion-parameter MoE model for coding and million-token reasoning
Frontier multimodal MoE model for coding and AI agent workflows