Skip to content

Improve property parametrization#260

Merged
ValerianRey merged 4 commits intomainfrom
improve-property-parametrizations
Mar 22, 2025
Merged

Improve property parametrization#260
ValerianRey merged 4 commits intomainfrom
improve-property-parametrizations

Conversation

@ValerianRey
Copy link
Copy Markdown
Contributor

  • Remove 1.0 from the list of scales in _inputs.py
  • Add typical_matrices in _inputs.py
  • Uniformize inputs parametrizing the property testers
  • Remove PermutationInvarianceProperty from TestIMTLG

I had to remove the PermutationInvarianceProperty from TestIMTLG, because with the new parametrization, on GPU, one permutation-invariance test fails for IMTLG. I think this could be related to the use of torch.linalg.pinv in IMTLG, because ConFIG also had the same issue of mysteriously failing some permutation-invariance tests and it also uses torch.linalg.pinv. Maybe in some cases this pseudoinverse is not unique and leads to different solutions?

- The reason is that it's easier to have scaled_matrices and matrices disjoint. We can test on matrices + scaled_matrices instead of just matrices for the same effect.
- It somehow does not pass on 1 matrix when run on GPU.
@ValerianRey ValerianRey added cc: test Conventional commit type for changes to tests. package: aggregation labels Mar 22, 2025
@ValerianRey ValerianRey self-assigned this Mar 22, 2025
@codecov
Copy link
Copy Markdown

codecov bot commented Mar 22, 2025

Codecov Report

All modified and coverable lines are covered by tests ✅

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@ValerianRey ValerianRey merged commit e456c48 into main Mar 22, 2025
14 checks passed
@ValerianRey ValerianRey deleted the improve-property-parametrizations branch March 22, 2025 12:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

cc: test Conventional commit type for changes to tests. package: aggregation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants