🗿
🗿
Independent AI Safety Researcher (MATS Scholar) ex Optiver ex Premonition/Shippit ex Vesparum Capital
-
Independent AI Safety Researcher (MATS Scholar)
- Australia
Pinned Loading
-
looplab
looplab PublicAI agent evals framework with durable execution, designed with AI Control research and rapid iteration in mind
Python
-
verified-rust-image-decoders
verified-rust-image-decoders PublicFormally verified Rust implementations of decoders for various image formats. Basically entirely AI-generated. Everything pending any kind of human validation unless otherwise specified. Proofs usi…
Rust 1
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.


