Domain Generalization#4

Merged

z-tech merged 1 commit intomainfrom

z-tech/domain_generalization

Feb 11, 2026

Owner

z-tech commented Feb 11, 2026

What does this PR do?

Before, we had capability to sum only over {0,1}^n and theorems were tied to this
Now, {0,1}^n is only a special case of the capability to sum over any domain and theorems are tied to this


          domain generalization

cff035e

z-tech merged commit 0c68545 into main

2 checks passed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet