Symbolic shapes
Nobody has claimed this yet.
- Dominant language
- C++
- Stars
- 333
- Forks
- 150
- Avg merge
- 4d 19h
- Merged PRs (30d)
- 54
Description
Modern software (e..g pytorch) use symbolic shapes, where the word symbol here is in the sense of sympy (i.e. supporting symbolic manipulations, and symbolic propagation.
For example:
Product of two matrices of symbolic shapes (m,k) and (k,n) is m,n.
Second example: concat of two 1D tensors with symbolic shapes (legths) of "x" and "y" respectively. Obviously the length of an explicitly concatenated 1D tensor is x+y, as a symbol. Strides etc can also be similarly inferred.
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start by reviewing the symbolic-shape examples in the issue, including matrix products with shapes (m,k) and (k,n) and concatenation of lengths x and y. Done would require symbolic propagation so these operations infer m,n and x+y, but the issue does not identify files, tests, or an implementation entry point.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- cpp
- Domain
- compilers, machine-learning
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100