Fundraising Fox
Genproof
2 employees on LinkedIn · 1 known investors
Find your way into Genproof
Sign up to see every warm intro you have to Genproof
- Paths you didn't know you had: your email and LinkedIn already hold routes to the Genproof team. We find them for you
- 2nd- and 3rd-degree connections: the friend-of-a-friend routes that take hours to manually find through your inbox or LinkedIn
- Answers now, not in days: momentum is everything in a raise. Skip asking around whether someone knows someone
Days of research, done the moment you sign in, with every route ranked by how warm it is.
GenProof develops GenProof-1, a specialized large language model that automatically writes formal-verification proofs for source code, using the Isabelle prover to mathematically guarantee code correctness. It targets software developers seeking to verify code correctness rather than rely on testing.
Founders & leadership
AP
Investors · 1
Frequently asked questions
- What does Genproof do?
- GenProof develops GenProof-1, a specialized large language model that automatically writes formal-verification proofs for source code, using the Isabelle prover to mathematically guarantee code correctness. It targets software developers seeking to verify code correctness rather than rely on testing.
- Who founded Genproof?
- Genproof was founded by Alex Pokras.
- Who are Genproof's investors?
- Genproof's investors include Draper Associates.