Applying mathematical proof techniques to verify safety properties of neural networks and AI systems.
Organizations
3
Key Papers
2
Cluster: Scalable Oversight
Parent Area: Scalable Oversight
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 |
Tags
formal-methodsverificationproofs