Halmos Labs

Halmos Labs is a research system for designing experiments and running scientific analysis. It simulates experiment outcomes across multiple models and methods, surfaces assumptions for review, and verifies deductive work automatically while running, so researchers can review the fraction of decisions that need judgement rather than every step.

The system samples over method decisions and assumptions in parallel, each arriving at its own conclusions, and designs experiments to gain the most information across them. It can assemble pipelines itself — selecting models, installing them, wiring them together — and runs analyses such as peptide scoring, peptide–MHC folding, and construct design. Work is checked for logical consistency as it runs, with ungrounded assumptions and out-of-distribution model use flagged for human review.

Halmos is aimed at scientists and teams across drug discovery, process optimisation, bioengineering, medicine, and food tech. Access is offered through a waitlist, with end-to-end research programmes handled directly by the team.