About This Project
Created by Google DeepMind's Superhuman Reasoning team, this repository provides advanced benchmarks and mathematical evaluation suites like IMO Bench and Aletheia. It aims to evaluate robust mathematical reasoning in AI and provides datasets to advance automatic theorem proving and logic.
Tags
Reviews & Ratings
Share your experience
User Reviews (0)
No reviews yet. Be the first to share your experience!