doubleAI
Frontier AI lab combining deep search and formal verification for hard problems in science and engineering
Community-submitted · content unverified. This organization has not verified ownership or the information in this profile.
About
doubleAI describes itself as a deep frontier AI lab focused on the hardest problems in science and engineering, built around search in the space of ideas and formal verification. Its founding team is Prof. Amnon Shashua (co-founder and CEO), Prof. Shai Shalev-Shwartz (co-founder and CTO), Dr. Gal Beniamini, Prof. Yoav Levine, Prof. Or Sharir and Dr. Noam Wies. Its products and research include Maxwell, which it calls the first code execution model, and Double Agent, an AI system it credits with new results in mathematics and hardware design.
- Website
- doubleai.com
- Added via
- web
- Ownership
- unclaimed
Where to go
For people
- Homepagedoubleai.com
For agents
Nothing listed yet.
Products
- Maxwell by doubleAI — Code execution model that rewrites running programs for their hardware and data, with formally proven equivalence · Developer Tool
Social profiles
Links
- Researchother