CROWN Operator Index

This module re-exports the operator-level transfer rules used by the graph-based LiRPA/CROWN engine (NN.MLTheory.CROWN.Graph): activations, arithmetic, batch normalization, pooling, reductions, and shape/indexing operations.

Trigonometric operators remain opt-in because tan/atan require an extra scalar-function interface beyond the project-wide Context. Import them explicitly when needed:

import NN.MLTheory.CROWN.Operators.Trigonometric