Beneficial AI Foundation
AI Safety + Formal Verification
Popular repositories Loading
-
-
-
-
curve25519-dalek-lean-verify
curve25519-dalek-lean-verify PublicVerifying curve25519-dalek using Lean
-
formal-verification-skills
formal-verification-skills PublicFormal verification of Rust code with AI-assisted specification and proof.
Repositories
Showing 10 of 137 repositories
- SparsePostQuantumRatchet-verify Public Forked from signalapp/SparsePostQuantumRatchet
Project to formally verify SPQR using Lean
Beneficial-AI-Foundation/SparsePostQuantumRatchet-verify’s past year of commit activity - probe-lean Public
Beneficial-AI-Foundation/probe-lean’s past year of commit activity - cedar-lean Public
Lean formalization of, and proofs about, Cedar (derived from cedar-policy/cedar-spec)
Beneficial-AI-Foundation/cedar-lean’s past year of commit activity - aeneas-lean-agentic-eval Public
Beneficial-AI-Foundation/aeneas-lean-agentic-eval’s past year of commit activity - probe Public
Beneficial-AI-Foundation/probe’s past year of commit activity - veritooling Public
Reusable CI toolkit for Lean 4 verification projects: sorry-delta reporting, specs-delta detection, and more.
Beneficial-AI-Foundation/veritooling’s past year of commit activity - test_sorry_detection Public
Beneficial-AI-Foundation/test_sorry_detection’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…