Examples

The notebooks remain in the repository's examples/ directory and are linked directly from this documentation site. They are not executed during the documentation build.

Notebook	Description
Representative operator test	Compares PyTorch and NCET outputs for a branched CNN using representative supported operators.
MNIST targeted adversarial attack	Trains a small CNN and solves an exact targeted adversarial attack with NCET.
Common failures and exceptions	Demonstrates common invalid inputs and models, their public exceptions, and supported fixes.

For the smallest runnable encoding example, start from the form_milp() user interface.