A decentralized, federated, and open-source video platform.

Risk-budgeted random-masking RL for Diffusion LLMs without trajectory slicing.

A runtime for Agentic Transaction Processing that validates and repairs AI-generated workflows.

Training-free framework for accelerating diffusion sampling via caching schedule prediction.

A modality-driven search solver achieving state-of-the-art results on the ARC Prize leaderboard.

An agentic framework for autoformalizing research mathematics into Lean 4.

Large-scale bugfixing benchmark containing thousands of synthetic buggy Python programs.

An interpretability tool used to identify internal representations and a 'global workspace' within LLMs.

Multimodal model for conversational video generation and editing via a stateful API.

A weakly-supervised GUI agent leveraging unannotated screenshots for better visual grounding.

A 1.6T parameter near-frontier agentic coding model with a 1M token context window.

Agent-native memory infrastructure using HNSW topology for knowledge propagation between agents.

A theorem prover and programming language used for formalizing mathematics.

An open-source drop-in CUDA replacement for AMD and Intel GPUs.

A benchmark for evaluating LLM agents on complex, real-world assistant tasks with stateful execution.

A particle-swarm-inspired framework for evolving multi-agent reasoning skills in LLMs.

A JIT compiler that translates Game Boy instructions into WebAssembly for high-performance emulation.

A framework for learning laws of cooperation in embodied multi-agent behavior.

Framework for faithfulness and observational-flow via expression-rectification to reduce LVLM hallucinations.

An open-source firewall and routing platform based on FreeBSD.