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.

$30,000 USD
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.

$5,000 USD

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