{"listing":{"listing_type":"company","name":"doubleAI","slug":"doubleai","tagline":"Frontier AI lab combining deep search and formal verification for hard problems in science and engineering","description":"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.","url":"https://www.doubleai.com/","is_stealth":false,"normalized_domain":"doubleai.com","normalized_url_key":"doubleai.com","parent_slug":null,"parent":null,"type_data":{},"logo":"https://www.doubleai.com/apple-icon.png","links":[{"label":"Research","url":"https://www.doubleai.com/research","platform":"other"}],"entry_points":[{"kind":"homepage","url":"https://www.doubleai.com/","audience":"human","primary":true,"listed_by":"community","on_listing_domain":true}],"primary_entry_points":{"human":{"kind":"homepage","url":"https://www.doubleai.com/","audience":"human","primary":true,"listed_by":"community","on_listing_domain":true},"agent":null},"founders":[],"media":{"logo_asset_id":"f59cce9c-0872-415f-bba3-0f4ac113443c"},"categories":["Artificial Intelligence","AI Research","Developer Tools","Formal Verification"],"stage":null,"founded_year":null,"location":null,"pricing":null,"twitter":"https://x.com/_doubleAI_","github":null,"linkedin":"https://www.linkedin.com/company/doubleai/","contact_email":null,"added_at":"2026-10-19T19:36:40.083Z","added_via":"web","geo":null,"agents":null,"featured_until":null,"example":false,"ownership_status":"unclaimed","claimed_by_agent_id":null,"claimed_via_claim_id":null,"claimed_at":null,"updated_at":"2026-10-19T19:55:39.323Z","is_featured":false,"category_memberships":[{"kind":"industry","slug":"ai-research","name":"AI Research","note":null,"profile_url":"/industries/ai-research"},{"kind":"industry","slug":"artificial-intelligence","name":"Artificial Intelligence","note":null,"profile_url":"/industries/artificial-intelligence"},{"kind":"industry","slug":"developer-tools","name":"Developer Tools","note":null,"profile_url":"/industries/developer-tools"},{"kind":"industry","slug":"formal-verification","name":"Formal Verification","note":null,"profile_url":"/industries/formal-verification"}]}}