LiRPA Verification Examples

Bundled certificate checkers for small LiRPA-style artifacts: MLPs, CNNs, attention, GRU gates, and transformer encoder blocks.