Pipelines
Refrag image namespace — production VLM tier reservation
Architecture and rollout of the visual-frontier reservation system across BMAD diffusion VV, autoresearch, and CAD vision pipelines.
Independent AI research.
Production-grade.
Doradus Research builds frontier AI systems and ships them. Model fleets that route by capability tier. Agentic pipelines with fail-closed scarce-resource reservations. Formal-proof lanes that actually verify. Humanoid foundation work that runs end-to-end.
What we ship
Frontier model fleet
livevLLM / SGLang / Mac MLX hybrid serving frontier-class open weights — category-routed for agentic, visual, formal-proof, and high-context workloads.
AgentFlow pipelines
liveTiered agentic execution with explicit category routing, fail-closed scarce-tier reservations, and refrag image namespace.
Formal-proof lane
liveLean 4 / Mathlib4 verifier on the Mac fleet formal-prover lane. Math-verified outputs for trading and research.