lean
(3)
Cyril Daloz
Cyril Daloz is the founder and CEO of iObeya, a French enterprise software company that digitizes the Japanese lean concept of the Obeya, a visual war room, so distributed teams can run their planning, brainstorming and problem-solving rituals on shared virtual boards. After two decades in enterprise IT and a first company, KAP IT, Daloz spotted the idea in 2011 while helping PSA Peugeot Citroen digitize its physical visual-management rooms. He has since grown iObeya into a platform used by large manufacturers, banks and aerospace and defense organizations, raising $17 million in Series A funding and opening offices across Europe, Asia and the United States.
Axiom
Axiom (Axiom Math) is a Palo Alto-based AI lab building a self-improving, superintelligent reasoner - starting with an AI mathematician. Its AxiomProver system invents new theorems, proves them formally in Lean, and verifies them before they reach a human, aiming to give AI the one thing language models lack: provable correctness. Founded in 2025 by mathematician Carina Hong, the company has raised $264M and claims machine-generated proofs accepted by peer-reviewed journals.
Errette Dunn
Errette Dunn is Co-Founder and CEO of Rever, a San Francisco-based frontline intelligence platform that helps global industrial companies unlock the creative potential of their deskless workers. Drawing on hands-on stints at Toyota and Airbus, he spent a decade coaching operations leaders across 17 countries before co-founding Rever in 2015. Today the company-backed by Y Combinator, Sequoia, Ulu Ventures, and Mundi Ventures-serves world-class manufacturers like Volkswagen, Grupo Bimbo, and Hyundai in more than 70 countries, giving factory floor workers an AI-powered mobile app to photograph problems, build solutions, and earn recognition in minutes.