Libraries

This package provides the following libraries (via dune):

owl-symbolic

Documentation:

• Onnx_pb onnx.proto Binary Encoding
• Onnx_pp onnx.proto Pretty Printing
• Onnx_types onnx.proto Types
• Owl_symbolic
• Owl_symbolic_cas_add
• Owl_symbolic_cas_assumption
• Owl_symbolic_cas_canonical
• Owl_symbolic_cas_mul
• Owl_symbolic_cas_tree Convert symbol_graph into functional-rich cse_graph (or tree actually)
• Owl_symbolic_engine
• Owl_symbolic_engine_html HTML engine must be used together with LaTeX engine.
• Owl_symbolic_engine_latex
• Owl_symbolic_engine_nnef
• Owl_symbolic_engine_onnx
• Owl_symbolic_engine_owl
• Owl_symbolic_graph
• Owl_symbolic_infix
• Owl_symbolic_namespace
• Owl_symbolic_neural_graph
• Owl_symbolic_operator
• Owl_symbolic_ops_controlflow If, Loop, Scan
• Owl_symbolic_ops_generator Constant, RandomUniform, RandomNormal, EyeLike, RandomUniformLike, * RandomNormalLike, Multinomial, ConstantOfShape, Range
• Owl_symbolic_ops_logical Implemented: And, Or, Xor, Not, Greater, Less, Equal, BitShift
• Owl_symbolic_ops_math One input
• Owl_symbolic_ops_nn Implemented: Conv, MaxPool, BatchNormalization, Dropout, * GlobalAveragePool, GlobalMaxPool, AveragePool, Flatten, * InstanceNormalization
• Owl_symbolic_ops_object_detection RoiAlign, NonMaxSuppression
• Owl_symbolic_ops_quantization QuantizeLinear, DequantizeLinear, DynamicQuantizeLinear
• Owl_symbolic_ops_reduction Implemented: ReduceMax, ReduceSum, ReduceMin, ReduceSumSquare, * ReduceMean, ReduceProd, ReduceLogSum, ReduceLogSumExp, ReduceL1, ReduceL2
• Owl_symbolic_ops_rnn LSTM, RNN, GRU
• Owl_symbolic_ops_sequence Implemented: SequenceEmpty, SequenceAt, SequenceInsert, SequenceLength, * SequenceConstruct, SequenceErease, SplitToSequence, ConcatFromSequence
• Owl_symbolic_ops_tensor Reshape, Concat, Split, Identity, Pad, Cast, Squeeze, Tile * Shape, Size, Transpose, Slice, SpaceToDepth, IsNaN, NonZero, Where * ScatterElements，ScatterND, GatherElements, GatherND, IsInf, UnSqueeze, * DepthToSpace, Compress, ReverseSequence, Unique, Resize, OneHot * Gather(deprecated), Scatter(deprecated), Upsample(deprecated),
• Owl_symbolic_ops_traditionalml
• Owl_symbolic_shape
• Owl_symbolic_specs
• Owl_symbolic_symbol
• Owl_symbolic_types
• Owl_symbolic_utils

Dependencies: owl-base, pbrt, ocaml-protoc