2 repository-uri
Validates that array dimensions match expected shapes during execution.
Distinct from Array Shape Validation: Distinct from Array Shape Validation: focuses on runtime verification of object shapes rather than static schema analysis.
Explore 2 awesome GitHub repositories matching testing & quality assurance · Runtime Shape Verification. Refine with filters or upvote what's useful.
Tensor-Puzzles este o suită de exerciții educaționale și un tutorial de calcul numeric conceput pentru stăpânirea operațiunilor cu tensori și a regulilor de broadcasting în PyTorch. Funcționează ca un antrenor de implementare unde utilizatorii exersează tranziția formulelor matematice în cod prin reimplementarea primitivelor matematice de deep learning. Proiectul utilizează o suită de exerciții bazată pe constrângeri care restricționează apelurile de bibliotecă disponibile pentru a forța utilizarea unor primitive specifice de tensori. Aceste provocări sunt structurate ca puzzle-uri secvențiale care necesită ca utilizatorii să rezolve sarcini folosind un model de implementare modular, unde funcțiile complexe sunt descompuse în operațiuni dependente mai simple. Acuratețea este asigurată printr-un mediu de execuție integrat în PyTorch care utilizează validarea implementării de referință și verificări de toleranță numerică. Sistemul verifică dacă output-urile definite de utilizator corespund rezultatelor de referință și respectă regulile standard de broadcasting pentru array-uri multidimensionale.
Provides runtime verification to ensure tensor dimensions adhere to broadcasting alignment rules.
xtensor is a C++ multidimensional array library for numerical computing that provides N-dimensional containers with an interface mirroring the NumPy API. It utilizes a lazy evaluation expression engine to defer numerical computations until assignment, which minimizes memory allocations and intermediate copies. The library features a foreign memory array adaptor that allows it to wrap external buffers, such as NumPy arrays, to perform numerical operations in-place without duplicating data. It further optimizes performance through lazy broadcasting and a system that manages the lifetime of temp
Checks if two objects possess the same shape or match a target shape at runtime.