https://github.com/gelisam/ai-safety-via-static-analysis
Proving that the neural network really did learn its safety property
https://github.com/gelisam/ai-safety-via-static-analysis
ai-safety neural-networks static-analysis
Last synced: about 1 month ago
JSON representation
Proving that the neural network really did learn its safety property
- Host: GitHub
- URL: https://github.com/gelisam/ai-safety-via-static-analysis
- Owner: gelisam
- License: apache-2.0
- Created: 2024-11-29T21:43:23.000Z (10 months ago)
- Default Branch: range-analysis
- Last Pushed: 2025-08-02T11:47:40.000Z (2 months ago)
- Last Synced: 2025-08-02T13:29:01.444Z (2 months ago)
- Topics: ai-safety, neural-networks, static-analysis
- Language: TypeScript
- Homepage: https://gelisam.com/range-analysis
- Size: 1.73 MB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 6
-
Metadata Files:
- Readme: README.md
- Contributing: CONTRIBUTING.md
- License: LICENSE