Feature/evolved self outer product inference #23

mtghorbani · 2024-07-18T17:29:12Z

This PR aims to:

Integrate binary multiplication inference with self-outer product if they are self-outer product.
Improve the self-outer product inference to infer a better structure for sub-self-outer products as well.
Improve the projection inference rules.

mtghorbani added 9 commits July 18, 2024 00:10

make the fancier sub-self outer product inference possible

9cb4cf8

implement a stronger projection inference

b2f3d7f

make the optimizer to remove all extra variables fully

f25810d

fix optimizer test to match the new implementation

ffd30cf

update the codegen test outputs to match the variable numbering

b0f83c1

fix the project tests by adding ctx to them

9ed2920

add test for optimal projection

cc4761d

add more e2e tests for optimal projection

be66cfc

add stur files for tests

0ae3c34

mtghorbani merged commit cb78ba1 into main Jul 18, 2024
2 checks passed

mtghorbani deleted the feature/evolved-self-outer-product-inference branch July 18, 2024 17:29

Provide feedback