MONSTR
MONSTR humanoid foundation — physics-56j AMASS bootstrap
Pre-print on the physics-conditioned BC pretrain for our humanoid foundation policy, bootstrapping from AMASS into a 56-joint mimic-PD action space.
Research
Publications, pre-prints, and applied notes from the Doradus research team. Every entry links back to the source corpus, runtime artifacts, or production deployment that backs it.
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.
Formal proof
Formal-proof lane — Leanstral + Lean 4 verifier in production
End-to-end pipeline pairing Leanstral-2603 GGUF with a Lean 4 / Mathlib4 verifier. Math-verified outputs for trading and research.