People/diagram-chaser
Jason Gross

Jason Gross

founderYC
Specializes inArtificial Intelligence

Developed performant, verified code powering trillions of https connections to Chrome and other browsers.

x linkedin
1
product
Products · 1
Theorem
Theorem
Founder

Theorem enhances AI in software engineering through formal verification and efficient testing methods.

Worked alongside
Rajashree Agrawal
Roles are derived from products, launches and repositories we track — not from self-description.