praise
praise copied to clipboard
Make relevant parameters visible to quantifiers
It might be valuable to display relevant parameters to active quantifiers, at least PRAISE_QUANTIFY_DUPLICATE_PRAISE_PERCENTAGE
From a quantifier at the recent quantification review:
I wanted to make sure duplicates had some value so I raised the score of the original contribution a little bit. If the original contribution is less than 10 then the duplicate could be rounded to 0.
see https://docs.google.com/document/d/1bvpgt8YbDJxdrC3i3cEK9HJYwPwrqNiaUV8nFDyDPgc/edit#