1 Repo
An alternative annotation syntax that associates runtime tensor dimensions with type-level symbols for static shape validation.
Distinct from Dimension Squeezing: None of the candidates cover annotation syntax for tensor shapes; closest candidates are dimension manipulation operations.
Explore 1 awesome GitHub repository matching artificial intelligence & ml · Dimension String Annotations. Refine with filters or upvote what's useful.
Pyrefly is a static type checker for Python that operates as a language server, delivering real-time diagnostics, completions, and navigation in any editor supporting the Language Server Protocol. It also performs static tensor shape analysis, using symbolic dimension variables and arithmetic to verify shape consistency in deep learning models without runtime execution. Beyond core type checking, Pyrefly supports gradual adoption workflows: it can generate a baseline of known errors so only new issues are reported, migrate configuration from other type checkers, and automatically suppress exi
Accepts dimension string annotations for linking tensor dimensions to type-level symbols during static analysis.