PyTorch Interop Examples

Curated umbrella for PyTorch-facing examples.

The folder has two intentionally separate paths:

• TorchExportSmoke: model-agnostic nn.Module graph capture into torchlean.ir.v1, followed by Lean-side parsing, value-graph handling, and tensor-IR shape validation.
• Roundtrip: small MLP/CNN/Transformer state-dict examples that generate/read JSON weights.

The reusable bridge lives under NN.Runtime.PyTorch; this module only collects examples.