Genproof
2 employees on LinkedIn · 1 known investors
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.