Mix of Minimal Optimal Sets (MMOS) of dataset has two advantages for two aspects, higher performance and lower construction costs on math reasoning.
active 2024-02-26 → 2025-03-03 (UTC)
Activity over time
Daily event counts in the loaded window
Line chart, 372 days from 2024-02-26 to 2025-03-03. Pushes: 40 total, peak 12 in a day. Pull requests: 0 total, peak 0 in a day. Issues: 11 total, peak 1 in a day. Comments: 13 total, peak 3 in a day. Stars: 74 total, peak 3 in a day.
- Pushes
- Pull requests
- Issues
- Comments
- Stars
Top contributors
Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity
| Contributor | Contributions | Pushes | PRs | Comments |
|---|---|---|---|---|
| cyzhh | 34 | 30 | 0 | 4 |
| Zui-C | 18 | 10 | 0 | 5 |
| LRegan666 | 3 | 0 | 0 | 2 |
| yucc-leon | 3 | 0 | 0 | 1 |
| Stangerine | 1 | 0 | 0 | 0 |
| kingkong135 | 1 | 0 | 0 | 0 |
| xliang-L | 1 | 0 | 0 | 0 |
| HqWei | 1 | 0 | 0 | 0 |
| atamazian | 1 | 0 | 0 | 1 |
| hanstong | 1 | 0 | 0 | 0 |
Recent activity
Latest issues, pull requests and releases
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 74 stars here means stars gained during the window, not the repo's star count.