Browser storage is unavailable. Keep this page open and export your collection before leaving.
ReasonBlocks turns your agents’ production traces into specialized models, delivering 10× cheaper inference without sacrificing performance. We handle training, routing, and serving.
Formerly at Stanford CS. Published in Nature Sustainable Agriculture (ML × agriculture). UN Best Paper. USAMO qualifier. Now building specialized intelligence that makes AI agents cheaper and more reliable at ReasonBlocks.
Source-based assessment · automated evidence rules
The retained text does not establish product availability or customer use.
Maturity is an evidence-based assessment, not a success rating. It may understate the current stage where evidence is limited. Coverage records documented areas, not a complete or independently audited company history.
BAML is one toolchain from the compiler to production. Build, test, trace, query, and alert on your code with tools that all read the same types.
Founders · Product
Same product type · Infrastructure · Developers
Butter is building bVisor, an incredibly lightweight sandbox runtime for AI agents.
Founders · Product
Same product type · Infrastructure · Developers
Cuebench builds RL environments for scientific discovery and inference.
Same product type · Infrastructure · Developers
The coding agent router. Keep Claude Code, Codex, OpenCode or Pi, and Dari picks the model for each turn, aware of provider caches, behind one endpoint.
Product · How it works
Same product type · Infrastructure · Developers
We're building a protocol for large language models to directly interface with image sensors.
Same product type · Infrastructure · Developers
DeepGrove is an independent AI research lab building efficient language models that run anywhere.
Same product type · Infrastructure · Developers
