Discover
Every project in the index. Underrated first: good projects that haven’t been noticed yet.
1 project
Remove filter Lean- 809
Superhuman
DeepMind datasets and benchmarks for olympiad-level math reasoning in AI
Every project in the index. Underrated first: good projects that haven’t been noticed yet.
1 project
Remove filter LeanDeepMind datasets and benchmarks for olympiad-level math reasoning in AI