Technology & InfrastructureEvent: September 6, 2026
Faraday successfully switched to using Prove2Me to maintain a directed acyclic graph (DAG) of theorem statements
Published
Signal category
Technology & Infrastructure
Quote
“The effort succeeded when we switched to using Prove2Me [which maintains] a directed acyclic graph (DAG) of theorem statements”
— Seamus Abshere|Faraday team
Company
Faraday
Unified data and AI for predicting customer behavior
- Industry
- Software Development
- Location
- Burlington, US
- Company size
- 43 employees
Faraday provides infrastructure for predicting customer behavior, including rich data and streamlined AI. Thousands of brands and software teams use Faraday to deploy more than a billion predictions every day.
Founded 2012