safety-kernels

Here is 1 public repository matching this topic...

Runtime safety components for AI model inference with formal proofs, ultra-low latency, and guaranteed correctness.

concurrency policy benchmarks fuzzing formal-verification lean4 runtime-safety safety-kernels

To associate your repository with the safety-kernels topic, visit your repo's landing page and select "manage topics."