Formal Verification
Scalable OversightactiveMathematical proofs of neural network properties and safety guarantees.
Cluster: Scalable Oversight
Tags
function:assurancescope:technique
Sub-Areas1
| Name | Status | Orgs | Papers |
|---|---|---|---|
| Provably Safe AIDavidad's agenda for building AI systems with mathematical safety guarantees from world models. | active | 0 | 0 |