Genproof
2 employees on LinkedIn · 1 known investors
Find your way into Genproof
423 people in our graph share verified history with the Genproof team — schools, employers, funds. One of them is your warm intro.
Rolanda Fuunlockedknows Alex Pokras · together at Massachusetts Institute of Technology (overlapped)
×8knows the team · via Massachusetts Institute of Technology
×2knows the team · via Technical University of Munich
knows the team · via Technische Universität Berlin
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.