Index

A

AcyclicNetwork (class in pynever.networks) add_node() (pynever.networks.AcyclicNetwork method) affine (pynever.nodes.BatchNormNode attribute) allow_zero (pynever.nodes.ReshapeNode attribute) alpha (pynever.nodes.CELUNode attribute) (pynever.nodes.ELUNode attribute) (pynever.nodes.LRNNode attribute)

AlternativeRepresentation (class in pynever.strategies.conversion.representation) append_node() (pynever.networks.SequentialNetwork method) AveragePoolNode (class in pynever.nodes) axes (pynever.nodes.UnsqueezeNode attribute) axis (pynever.nodes.ConcatNode attribute) (pynever.nodes.FlattenNode attribute) (pynever.nodes.SoftMaxNode attribute)

B

BatchNormNode (class in pynever.nodes) beta (pynever.nodes.LRNNode attribute) bias (pynever.nodes.BatchNormNode attribute) (pynever.nodes.ConvNode attribute) (pynever.nodes.FullyConnectedNode attribute)

bounds (pynever.strategies.verification.parameters.SSBPVerificationParameters attribute) bounds_direction (pynever.strategies.verification.parameters.SSBPVerificationParameters attribute)

C

ceil_mode (pynever.nodes.AveragePoolNode attribute) (pynever.nodes.MaxPoolNode attribute) CELUNode (class in pynever.nodes) checkpoints_root (pynever.strategies.training.PytorchTraining attribute) compute_intersection() (pynever.strategies.verification.algorithms.SSBPVerification method) ConcatNode (class in pynever.nodes)

ConcreteLayerNode (class in pynever.nodes) ConversionStrategy (class in pynever.strategies.conversion.representation) ConvNode (class in pynever.nodes) count_include_pad (pynever.nodes.AveragePoolNode attribute) count_relu_layers() (pynever.networks.NeuralNetwork method) counterexample_stars (pynever.strategies.verification.algorithms.SSLPVerification attribute)

D

delete_last_node() (pynever.networks.NeuralNetwork method) dilation (pynever.nodes.ConvNode attribute) (pynever.nodes.MaxPoolNode attribute)

DropoutNode (class in pynever.nodes)

E

edges (pynever.networks.NeuralNetwork attribute)

ELUNode (class in pynever.nodes) eps (pynever.nodes.BatchNormNode attribute)

F

FlattenNode (class in pynever.nodes) from_neural_network() (pynever.strategies.conversion.converters.onnx.ONNXConverter method) (pynever.strategies.conversion.converters.pytorch.PyTorchConverter method) (pynever.strategies.conversion.representation.ConversionStrategy method)

FullyConnectedNode (class in pynever.nodes)

G

generic_add_node() (pynever.networks.NeuralNetwork method) get_bounds() (pynever.strategies.verification.algorithms.SSBPVerification method) get_children() (pynever.networks.NeuralNetwork method) get_first_node() (pynever.networks.NeuralNetwork method) get_id_from_index() (pynever.networks.NeuralNetwork method) get_index_from_id() (pynever.networks.NeuralNetwork method) get_input_dim() (pynever.nodes.AveragePoolNode method) (pynever.nodes.BatchNormNode method) (pynever.nodes.CELUNode method) (pynever.nodes.ConcatNode method) (pynever.nodes.ConcreteLayerNode method) (pynever.nodes.ConvNode method) (pynever.nodes.DropoutNode method) (pynever.nodes.ELUNode method) (pynever.nodes.FlattenNode method) (pynever.nodes.FullyConnectedNode method) (pynever.nodes.LeakyReLUNode method) (pynever.nodes.LRNNode method) (pynever.nodes.MaxPoolNode method) (pynever.nodes.ReLUNode method) (pynever.nodes.ReshapeNode method) (pynever.nodes.SigmoidNode method) (pynever.nodes.SoftMaxNode method) (pynever.nodes.SumNode method) (pynever.nodes.TanhNode method) (pynever.nodes.TransposeNode method) (pynever.nodes.UnsqueezeNode method)

get_input_id() (pynever.networks.NeuralNetwork method) get_input_len() (pynever.networks.NeuralNetwork method) get_last_node() (pynever.networks.NeuralNetwork method) get_layer_bias_as_two_dimensional() (pynever.nodes.FullyConnectedNode method) get_leaves() (pynever.networks.NeuralNetwork method) get_next_node() (pynever.networks.NeuralNetwork method) get_next_target() (pynever.strategies.verification.algorithms.SSBPVerification method) get_output_dim() (pynever.nodes.ConcreteLayerNode method) get_output_len() (pynever.networks.NeuralNetwork method) get_parents() (pynever.networks.NeuralNetwork method) get_previous_id() (pynever.networks.NeuralNetwork method) get_previous_node() (pynever.networks.NeuralNetwork method) get_roots() (pynever.networks.NeuralNetwork method) get_topological_order() (pynever.networks.NeuralNetwork method) groups (pynever.nodes.ConvNode attribute)

H

has_bias (pynever.nodes.ConvNode attribute) (pynever.nodes.FullyConnectedNode attribute) has_children() (pynever.networks.NeuralNetwork method)

has_parents() (pynever.networks.NeuralNetwork method) heuristic (pynever.strategies.verification.parameters.SSBPVerificationParameters attribute) (pynever.strategies.verification.parameters.SSLPVerificationParameters attribute)

I

identifier (pynever.networks.NeuralNetwork attribute) (pynever.nodes.ConcreteLayerNode attribute) (pynever.nodes.LayerNode attribute) (pynever.strategies.conversion.representation.AlternativeRepresentation attribute) in_bias_mat (pynever.strategies.verification.properties.NeverProperty attribute) in_channels (pynever.nodes.ConvNode attribute) in_coef_mat (pynever.strategies.verification.properties.NeverProperty attribute)

in_dims (pynever.nodes.ConcreteLayerNode attribute) in_features (pynever.nodes.FullyConnectedNode attribute) init_search() (pynever.strategies.verification.algorithms.SSBPVerification method) input_ids (pynever.networks.NeuralNetwork attribute) intersection (pynever.strategies.verification.parameters.SSBPVerificationParameters attribute) is_acyclic() (pynever.networks.NeuralNetwork method) is_empty() (pynever.networks.NeuralNetwork method)

K

k (pynever.nodes.LRNNode attribute) kernel_size (pynever.nodes.AveragePoolNode attribute) (pynever.nodes.ConvNode attribute) (pynever.nodes.MaxPoolNode attribute)

L

layer_precedes() (pynever.networks.NeuralNetwork method) LayerNode (class in pynever.nodes) layers_bounds (pynever.strategies.verification.algorithms.SSLPVerification attribute) layers_iterator() (pynever.networks.NeuralNetwork method) LeakyReLUNode (class in pynever.nodes)

load_network_path() (in module pynever.strategies.conversion.representation) LocalRobustnessProperty (class in pynever.strategies.verification.properties) logger (pynever.strategies.verification.algorithms.VerificationStrategy attribute) loss_function (pynever.strategies.training.PytorchTraining attribute) LRNNode (class in pynever.nodes)

M

MaxPoolNode (class in pynever.nodes) metric (pynever.strategies.training.PytorchTesting attribute) metric_params (pynever.strategies.training.PytorchTesting attribute) module pynever.networks pynever.nodes pynever.strategies.conversion.converters.onnx pynever.strategies.conversion.converters.pytorch pynever.strategies.conversion.representation pynever.strategies.training pynever.strategies.verification.algorithms pynever.strategies.verification.parameters pynever.strategies.verification.properties

momentum (pynever.nodes.BatchNormNode attribute)

N

n_epochs (pynever.strategies.training.PytorchTraining attribute) negative_slope (pynever.nodes.LeakyReLUNode attribute) network (pynever.strategies.verification.algorithms.SSBPVerification attribute) network_transform (pynever.strategies.training.PytorchTraining attribute)

NeuralNetwork (class in pynever.networks) neurons_to_refine (pynever.strategies.verification.parameters.SSLPVerificationParameters attribute) NeverProperty (class in pynever.strategies.verification.properties) nodes (pynever.networks.NeuralNetwork attribute) num_features (pynever.nodes.BatchNormNode attribute)

O

onnx_network (pynever.strategies.conversion.representation.ONNXNetwork attribute) ONNXConverter (class in pynever.strategies.conversion.converters.onnx) ONNXNetwork (class in pynever.strategies.conversion.representation) opt_params (pynever.strategies.training.PytorchTraining attribute) optimizer_con (pynever.strategies.training.PytorchTraining attribute)

out_bias_mat (pynever.strategies.verification.properties.NeverProperty attribute) out_channels (pynever.nodes.ConvNode attribute) out_coef_mat (pynever.strategies.verification.properties.NeverProperty attribute) out_dim (pynever.nodes.ConcreteLayerNode attribute) out_features (pynever.nodes.FullyConnectedNode attribute)

P

p (pynever.nodes.DropoutNode attribute) padding (pynever.nodes.AveragePoolNode attribute) (pynever.nodes.ConvNode attribute) (pynever.nodes.MaxPoolNode attribute) parameters (pynever.strategies.verification.algorithms.VerificationStrategy attribute) perm (pynever.nodes.TransposeNode attribute) precision_metric (pynever.strategies.training.PytorchTraining attribute) prop (pynever.strategies.verification.algorithms.SSBPVerification attribute) pynever.networks module pynever.nodes module pynever.strategies.conversion.converters.onnx module pynever.strategies.conversion.converters.pytorch module

pynever.strategies.conversion.representation module pynever.strategies.training module pynever.strategies.verification.algorithms module pynever.strategies.verification.parameters module pynever.strategies.verification.properties module pytorch_network (pynever.strategies.conversion.representation.PyTorchNetwork attribute) pytorch_training() (pynever.strategies.training.PytorchTraining method) PyTorchConverter (class in pynever.strategies.conversion.converters.pytorch) PyTorchNetwork (class in pynever.strategies.conversion.representation) PytorchTesting (class in pynever.strategies.training) PytorchTraining (class in pynever.strategies.training)

R

ReLUNode (class in pynever.nodes) remove_node() (pynever.networks.NeuralNetwork method) ReshapeNode (class in pynever.nodes)

return_indices (pynever.nodes.MaxPoolNode attribute) running_mean (pynever.nodes.BatchNormNode attribute) running_var (pynever.nodes.BatchNormNode attribute)

S

save_results (pynever.strategies.training.PytorchTesting attribute) sch_params (pynever.strategies.training.PytorchTraining attribute) scheduler_con (pynever.strategies.training.PytorchTraining attribute) SequentialNetwork (class in pynever.networks) shape (pynever.nodes.ReshapeNode attribute) SigmoidNode (class in pynever.nodes) size (pynever.nodes.LRNNode attribute) SoftMaxNode (class in pynever.nodes)

SSBPVerification (class in pynever.strategies.verification.algorithms) SSBPVerificationParameters (class in pynever.strategies.verification.parameters) SSLPVerification (class in pynever.strategies.verification.algorithms) SSLPVerificationParameters (class in pynever.strategies.verification.parameters) stride (pynever.nodes.AveragePoolNode attribute) (pynever.nodes.ConvNode attribute) (pynever.nodes.MaxPoolNode attribute) SumNode (class in pynever.nodes)

T

TanhNode (class in pynever.nodes) test() (pynever.strategies.training.PytorchTesting method) (pynever.strategies.training.TestingStrategy method) test_batch_size (pynever.strategies.training.PytorchTesting attribute) TestingStrategy (class in pynever.strategies.training) timeout (pynever.strategies.verification.parameters.SSBPVerificationParameters attribute) to_neural_network() (pynever.strategies.conversion.converters.onnx.ONNXConverter method) (pynever.strategies.conversion.converters.pytorch.PyTorchConverter method) (pynever.strategies.conversion.representation.ConversionStrategy method)

to_numeric_bounds() (pynever.strategies.verification.properties.NeverProperty method) to_smt_file() (pynever.strategies.verification.properties.NeverProperty method) to_star() (pynever.strategies.verification.properties.NeverProperty method) track_running_stats (pynever.nodes.BatchNormNode attribute) train() (pynever.strategies.training.PytorchTraining method) (pynever.strategies.training.TrainingStrategy method) train_batch_size (pynever.strategies.training.PytorchTraining attribute) train_patience (pynever.strategies.training.PytorchTraining attribute) TrainingStrategy (class in pynever.strategies.training) TransposeNode (class in pynever.nodes)

U

UnsqueezeNode (class in pynever.nodes)

V

validation_batch_size (pynever.strategies.training.PytorchTraining attribute) validation_percentage (pynever.strategies.training.PytorchTraining attribute) verbose_rate (pynever.strategies.training.PytorchTraining attribute) VerificationParameters (class in pynever.strategies.verification.parameters)

VerificationStrategy (class in pynever.strategies.verification.algorithms) verify() (pynever.strategies.verification.algorithms.SSBPVerification method) (pynever.strategies.verification.algorithms.SSLPVerification method) (pynever.strategies.verification.algorithms.VerificationStrategy method) VnnLibProperty (class in pynever.strategies.verification.properties)

W

weight (pynever.nodes.BatchNormNode attribute) (pynever.nodes.ConvNode attribute) (pynever.nodes.FullyConnectedNode attribute)