Rename translation to fuzzy_translation #26
Description
This should be done after reviews, and before submitting the final version if the paper is accepted
{{ message }}
Rename
translation to fuzzy_translation #26This should be done after reviews, and before submitting the final version if the paper is accepted