Research

The open questions

The lab picks very hard problems and goes after them directly. Each one is also a test of our design engine: a language model frames the problem, drives the design stages and writes new verification checks into a shared library, so the engine improves as the research goes. That method, RSIH, is a question in its own right; the others are where it is tested.