bendtorch-core@0.1.0.0

Files (195)

• LAWS.bend
• PROOF.bend
• bendtorch.bend
• src/autograd/LAWS.bend
• src/autograd/PROOF.bend
• src/autograd/backward.bend46 definitions
• src/autograd/backward_LAWS.bend61 definitions
• src/autograd/backward_PROOF.bend30 definitions
• src/autograd/broadcast.bend9 definitions
• src/autograd/broadcast_LAWS.bend15 definitions
• src/autograd/broadcast_PROOF.bend21 definitions
• src/autograd/broadcast_pointwise_LAWS.bend9 definitions
• src/autograd/broadcast_pointwise_PROOF.bend8 definitions
• src/autograd/gradient.bend22 definitions
• src/autograd/gradient_LAWS.bend26 definitions
• src/autograd/gradient_PROOF.bend63 definitions
• src/autograd/loss.bend53 definitions
• src/autograd/reduce.bend38 definitions
• src/autograd/reduce_LAWS.bend24 definitions
• src/autograd/reduce_PROOF.bend46 definitions
• src/autograd/reduce_fiber_proof.bend68 definitions
• src/autograd/reduce_fold.bend6 definitions
• src/autograd/reduce_fold_LAWS.bend7 definitions
• src/autograd/reduce_fold_PROOF.bend13 definitions
• src/autograd/reduce_parallel_proof.bend50 definitions
• src/autograd/reduce_replayed_proof.bend70 definitions
• src/autograd/reduce_to_fold_PROOF.bend21 definitions
• src/autograd/sgd.bend21 definitions
• src/autograd/sgd_LAWS.bend20 definitions
• src/autograd/sgd_PROOF.bend1 definition
• src/autograd/sum_dims.bend22 definitions
• src/autograd/sum_dims_LAWS.bend21 definitions
• src/autograd/sum_dims_PROOF.bend5 definitions
• src/autograd/sum_to_size.bend5 definitions
• src/autograd/sum_to_size_LAWS.bend5 definitions
• src/autograd/sum_to_size_PROOF.bend11 definitions
• src/autograd/sum_to_size_fold_LAWS.bend5 definitions
• src/autograd/sum_to_size_fold_PROOF.bend16 definitions
• src/autograd/tensor_backward.bend215 definitions
• src/autograd/tensor_backward_LAWS.bend37 definitions
• src/autograd/tensor_backward_PROOF.bend25 definitions
• src/autograd/tensor_chain_LAWS.bend17 definitions
• src/autograd/tensor_chain_PROOF.bend47 definitions
• src/autograd/tensor_vjp_LAWS.bend25 definitions
• src/autograd/tensor_vjp_PROOF.bend30 definitions
• src/shape/LAWS.bend34 definitions
• src/shape/PROOF.bend3 definitions
• src/shape/boundary_proofs.bend31 definitions
• src/shape/broadcast_proofs.bend19 definitions
• src/shape/construct_proofs.bend10 definitions
• src/shape/coordinate_proofs.bend22 definitions
• src/shape/core.bend137 definitions
• src/shape/flat.bend5 definitions
• src/shape/index_proofs.bend16 definitions
• src/shape/nat_proofs.bend18 definitions
• src/shape/plan_proofs.bend21 definitions
• src/shape/projection_proofs.bend16 definitions
• src/shape/unique_proofs.bend15 definitions
• src/storage/LAWS.bend33 definitions
• src/storage/PROOF.bend
• src/storage/api.bend65 definitions
• src/storage/arith.bend41 definitions
• src/storage/array.bend11 definitions
• src/storage/certificates.bend4 definitions
• src/storage/clone.bend8 definitions
• src/storage/frame.bend10 definitions
• src/storage/main.bend18 definitions
• src/storage/model.bend9 definitions
• src/storage/refinement.bend57 definitions
• src/storage/route.bend16 definitions
• src/storage/size.bend6 definitions
• src/tensor/LAWS.bend
• src/tensor/PROOF.bend
• src/tensor/allocation_LAWS.bend6 definitions
• src/tensor/allocation_PROOF.bend12 definitions
• src/tensor/allocation_spec.bend3 definitions
• src/tensor/axis_LAWS.bend20 definitions
• src/tensor/axis_PROOF.bend6 definitions
• src/tensor/axis_algebra.bend159 definitions
• src/tensor/axis_spec.bend18 definitions
• src/tensor/batched_matmul.bend51 definitions
• src/tensor/batched_matmul_LAWS.bend40 definitions
• src/tensor/batched_matmul_PROOF.bend47 definitions
• src/tensor/clone_contract.bend20 definitions
• src/tensor/clone_metadata_contract_LAWS.bend3 definitions
• src/tensor/clone_metadata_contract_PROOF.bend
• src/tensor/clone_metadata_records.bend3 definitions
• src/tensor/construction_LAWS.bend16 definitions
• src/tensor/construction_PROOF.bend52 definitions
• src/tensor/construction_contract_LAWS.bend3 definitions
• src/tensor/construction_contract_PROOF.bend27 definitions
• src/tensor/construction_metadata.bend7 definitions
• src/tensor/construction_totality.bend5 definitions
• src/tensor/contracts/LAWS.bend23 definitions
• src/tensor/contracts/PROOF.bend
• src/tensor/contracts/binary_LAWS.bend3 definitions
• src/tensor/contracts/binary_PROOF.bend
• src/tensor/contracts/binary_build_proof.bend32 definitions
• src/tensor/contracts/binary_proofs.bend31 definitions
• src/tensor/contracts/binary_storage_proof.bend12 definitions
• src/tensor/contracts/broadcast.bend6 definitions
• src/tensor/contracts/broadcast_proof.bend6 definitions
• src/tensor/contracts/build_facts.bend14 definitions
• src/tensor/contracts/dot.bend6 definitions
• src/tensor/contracts/dot_proof.bend8 definitions
• src/tensor/contracts/fold.bend15 definitions
• src/tensor/contracts/fold_proof.bend20 definitions
• src/tensor/contracts/fold_records.bend8 definitions
• src/tensor/contracts/matmul_parallel_proof.bend59 definitions
• src/tensor/contracts/matmul_proof.bend27 definitions
• src/tensor/contracts/pointwise.bend17 definitions
• src/tensor/contracts/pointwise_proof.bend35 definitions
• src/tensor/contracts/pointwise_records.bend1 definition
• src/tensor/contracts/product_parallel_proof.bend80 definitions
• src/tensor/contracts/product_proof.bend29 definitions
• src/tensor/contracts/replayed.bend26 definitions
• src/tensor/contracts/sum.bend4 definitions
• src/tensor/contracts/sum_proof.bend5 definitions
• src/tensor/contracts/words_proof.bend3 definitions
• src/tensor/core.bend94 definitions
• src/tensor/core_LAWS.bend42 definitions
• src/tensor/core_PROOF.bend86 definitions
• src/tensor/dot_fold.bend2 definitions
• src/tensor/elementwise.bend86 definitions
• src/tensor/elementwise_LAWS.bend3 definitions
• src/tensor/elementwise_PROOF.bend76 definitions
• src/tensor/elementwise_parallel_proof.bend45 definitions
• src/tensor/elementwise_totality.bend14 definitions
• src/tensor/elementwise_walk_proof.bend19 definitions
• src/tensor/from_values_contract.bend31 definitions
• src/tensor/from_values_contract_LAWS.bend1 definition
• src/tensor/from_values_contract_PROOF.bend
• src/tensor/from_values_records.bend1 definition
• src/tensor/gather.bend64 definitions
• src/tensor/gather_LAWS.bend31 definitions
• src/tensor/gather_PROOF.bend41 definitions
• src/tensor/index_map.bend8 definitions
• src/tensor/layout.bend52 definitions
• src/tensor/lifecycle.bend45 definitions
• src/tensor/loss_ops_LAWS.bend12 definitions
• src/tensor/loss_ops_PROOF.bend
• src/tensor/math_totality.bend8 definitions
• src/tensor/matmul.bend101 definitions
• src/tensor/matmul_LAWS.bend30 definitions
• src/tensor/matmul_PROOF.bend101 definitions
• src/tensor/matmul_parallel_proof.bend20 definitions
• src/tensor/matrix_index_proof.bend24 definitions
• src/tensor/metadata_contract.bend10 definitions
• src/tensor/observation.bend75 definitions
• src/tensor/parallel.bend20 definitions
• src/tensor/parallel_LAWS.bend4 definitions
• src/tensor/parallel_PROOF.bend
• src/tensor/parallel_proofs.bend19 definitions
• src/tensor/permutation_mapping.bend65 definitions
• src/tensor/permute_build.bend24 definitions
• src/tensor/permute_build_proof.bend66 definitions
• src/tensor/permute_contract.bend16 definitions
• src/tensor/permute_values.bend39 definitions
• src/tensor/permute_values_contract_LAWS.bend4 definitions
• src/tensor/permute_values_contract_PROOF.bend
• src/tensor/permute_values_records.bend4 definitions
• src/tensor/projection_LAWS.bend9 definitions
• src/tensor/projection_PROOF.bend4 definitions
• src/tensor/read_contract.bend28 definitions
• src/tensor/read_write_contract_LAWS.bend6 definitions
• src/tensor/read_write_contract_PROOF.bend
• src/tensor/read_write_records.bend6 definitions
• src/tensor/reduction.bend22 definitions
• src/tensor/reduction_LAWS.bend30 definitions
• src/tensor/reduction_PROOF.bend51 definitions
• src/tensor/relu_LAWS.bend15 definitions
• src/tensor/relu_PROOF.bend
• src/tensor/reshape_contract.bend22 definitions
• src/tensor/signed.bend48 definitions
• src/tensor/signed_LAWS.bend51 definitions
• src/tensor/signed_PROOF.bend39 definitions
• src/tensor/slice.bend60 definitions
• src/tensor/slice_LAWS.bend40 definitions
• src/tensor/slice_PROOF.bend66 definitions
• src/tensor/transform_LAWS.bend57 definitions
• src/tensor/transform_PROOF.bend178 definitions
• src/tensor/transform_contract_LAWS.bend7 definitions
• src/tensor/transform_contract_PROOF.bend
• src/tensor/transform_observation.bend33 definitions
• src/tensor/transform_records.bend3 definitions
• src/tensor/transform_totality.bend30 definitions
• src/tensor/transforms.bend63 definitions
• src/tensor/transpose_LAWS.bend4 definitions
• src/tensor/transpose_PROOF.bend16 definitions
• src/tensor/transpose_spec.bend9 definitions
• src/tensor/word_conversion.bend51 definitions
• src/tensor/word_conversion_LAWS.bend12 definitions
• src/tensor/word_conversion_PROOF.bend
• src/tensor/word_injective.bend11 definitions
• src/tensor/write_contract.bend23 definitions