> For the complete documentation index, see [llms.txt](https://docs.icme.io/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://docs.icme.io/documentation/learning.md).

# Learning

- [How ICME PreFlight Works](https://docs.icme.io/documentation/learning/how-icme-preflight-works.md): Learn how ICME PreFlight uses automated reasoning, formal verification, and zero-knowledge proofs to secure AI agents against prompt injection and unsafe actions.
- [What ICME PreFlight defends against](https://docs.icme.io/documentation/learning/how-icme-preflight-works/what-icme-preflight-defends-against.md)
- [Relevance Screening](https://docs.icme.io/documentation/learning/how-icme-preflight-works/relevance-screening.md)
- [Formal Verification vs Prompt-Based Guardrails](https://docs.icme.io/documentation/learning/how-icme-preflight-works/formal-verification-vs-prompt-based-guardrails.md)
- [Zero-Knowledge Proofs](https://docs.icme.io/documentation/learning/how-icme-preflight-works/zero-knowledge-proofs.md)
- [Understanding SAT / UNSAT](https://docs.icme.io/documentation/learning/how-icme-preflight-works/understanding-sat-unsat.md)
- [Battle Testing](https://docs.icme.io/documentation/learning/battle-testing.md): Tools to help make your rules cover 100%.
- [Writing Effective Policies](https://docs.icme.io/documentation/learning/battle-testing/writing-effective-policies.md)
- [JOLT Atlas (zkML)](https://docs.icme.io/documentation/learning/jolt-atlas-zkml.md)
- [ONNX](https://docs.icme.io/documentation/learning/jolt-atlas-zkml/onnx.md)
- [ONNX Runtime](https://docs.icme.io/documentation/learning/jolt-atlas-zkml/onnx/onnx-runtime.md)
- [Quantization](https://docs.icme.io/documentation/learning/jolt-atlas-zkml/onnx/quantization.md)
- [Tensor Instructions](https://docs.icme.io/documentation/learning/jolt-atlas-zkml/onnx/tensor-instructions.md)
- [Lookups](https://docs.icme.io/documentation/learning/jolt-atlas-zkml/onnx/lookups.md)
- [Architecture](https://docs.icme.io/documentation/learning/jolt-atlas-zkml/architecture.md)