-
Notifications
You must be signed in to change notification settings - Fork 271
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Leaderboard: Fixed code benchmarks #1441
Conversation
@Muennighoff I added a fix for the bug you encountered. I think the problem lied in Jina having an incorrect number of parameters in the metadata though (572K instead of 572M) |
Actually, I didn't fix it, I encountered yet another bug in Gradio I have to work around :))))))) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks good. If you could attach screenshots of the changes in the UI, that'd be great as well :)
This looks good so far @x-tabdeveloping, let us go through it in person today to get most of the kinks removed (I have a meeting at 15) and figure out what is needed before a final review among colaborators |
@isaac-chung the UI largely remained the same, no significant changes there |
Along with updating the selected values, I also update the choices in the dropdowns.