Algorithms that Code

We build algorithms and tools that use automated reasoning, statistical machine learning, and limited domain-specific knowledge to automatically understand and write programs.