Our Team

The researchers behind IMProofBench

ETH Zurich

Project Lead

Aarhus University

Outreach & Community Management

ETH Zurich

Benchmarking Expert & Lead Writer

ETH Zurich

Website & Evaluation Infrastructure

ETH Zurich

Question Curation & Peer Review

For questions about the benchmark or to discuss collaboration opportunities, please contact the project lead.