Financial Acknowledgements
Transparency in funding and our commitment to independent evaluation
Our Commitment
Independence, equity, and transparency in AI evaluation
Independent & Equitable Evaluation
IMProofBench is committed to providing independent, equitable, and transparent evaluations of AI mathematical reasoning capabilities. Financial support from any organization does not influence our scientific evaluation methodology, which applies the same blinded, model-agnostic protocols to all AI systems.
Evaluations of models from companies that have provided financial support follow the same rigorous standards as all other evaluations.
Data Protection Policy
We do not share question or solution data with third parties, except in the following controlled circumstances:
- Peer Review: Submitted questions are reviewed by expert mathematicians to ensure quality and appropriate difficulty.
- API Evaluations: Questions are evaluated via official AI provider APIs, protected by data privacy guarantees and zero-data-retention policies where available.
- Public Sample Questions: A small set of sample questions are released publicly, only with explicit consent from their authors.
Direct Financial Support
Cash contributions supporting project operations
Google Research Gift
An unrestricted gift from Google Ireland Limited to ETH Zurich, supporting work related to "Research on Evals." Funds are administered through the ETH Zurich Foundation.
November 2025
SRI Lab, ETH Zurich
The Secure, Reliable, and Intelligent Systems Lab at ETH Zurich, led by Prof. Martin Vechev, provides funding for API calls used in model evaluations.
In-Kind Support
API credits and services provided at no cost
xAI API Credits
Free API credits for the xAI platform, enabling evaluation of Grok models. We thank the team at xAI for this contribution.
These credits did not influence our scientific evaluation of xAI models, which follows our model-agnostic evaluation framework.
Google Gemini API Credits
Free API credits for the Gemini API, enabling evaluation of Gemini models. We thank the team at Google for this contribution.
These credits did not influence our scientific evaluation of Gemini models, which follows our model-agnostic evaluation framework.
Infrastructure Support
Computing and hosting resources
ETH Zurich D-MATH
The IMProofBench website is hosted on servers of the Department of Mathematics (D-MATH) at ETH Zurich, managed by the IT Services Group.
Academic Research Funding
Grants and foundations supporting team members
Team Member Research Grants
Several team members and contributing authors are supported by grants and foundations for their academic research. For the detailed list of acknowledgements, please refer to the acknowledgements section of our arXiv preprint.
Questions About Our Funding?
We are committed to full transparency. If you have questions about our funding or evaluation methodology, please contact us.
Last updated: December 2025