Theorem
About Theorem
Theorem is an AI and programming languages research lab based in San Francisco. It has developed cryptography that secures trillions of daily internet connections and has helped nonprofits raise tens of millions of dollars. The team includes alumni from Jane Street, Google, and Microsoft, and Theorem publishes research at NeurIPS, ICML, POPL, and ITP. Its mission is to make the future of software correct, understandable, and secure, and its approach is to write software correctness feedback that scales with the complexity and volume of code to make software provably safe and reliable. Theorem has also built experimental educational programs serving hundreds of students.
Company at a glance
Location
Culture & values
Theorem values software correctness, understandability, and security as core principles.
Theorem focuses on building software correctness feedback that scales with increasing complexity and code volume to make software provably safe and reliable.
Theorem emphasizes an impact-driven culture that values rigorous, research-informed work.
Life at Theorem
Frequently asked questions
Companies similar to Theorem
Ambi is building the interface for the AI era - software and hardware that move at the speed of thought. We're creating a living memory system that turns conversations, meetings, and daily signals into one connected knowledge base, across phone, watch, and desktop. Backed and early-stage, headquartered in San Francisco with hybrid flexibility - this is a ground-floor seat on category-defining hardware.
Arbio, headquartered in Berlin, Germany, is building an AI-native property management platform for short-term rentals across Europe. It currently manages over 1,000 apartments and operates real properties in Berlin, Hamburg, Vienna, and Leipzig, with plans to expand to additional European cities. The company has raised a $36 million Series A funding and maintains an engineering team of five engineers. Arbio’s platform uses AI to observe, decide, and act on real-world property operations with humans in the loop, enabling AI-assisted management of short-term rental properties across Europe.
Arga Labs provides isolated sandbox environments equipped with API twins of third-party services, enabling developers and organizations to safely test and train AI agents without risking their production systems. By offering a controlled testing ground that mirrors real-world APIs, the company allows teams to experiment with AI implementations, validate workflows, and refine agent behavior in a risk-free setting. This approach addresses a critical need in AI development, where testing in live environments can introduce costly errors or security vulnerabilities.