Leaderboard metric precision
Opened this issue · 0 comments
caiocj1 commented
Hello,
I was wondering if there's any way to increase the decimal precision of the leaderboard metrics; on the multi-world phase for example most of the top methods show the same 0.01 for ActorCR.
Thank you for your help!