OpenResearch

Reproduce “IMProofBench: Benchmarking AI on Research-Level Mathematical Proof Generation” on OpenResearch

Turn your favorite coding agents into research agents that review literature, develop hypotheses, and run experiments.

Download for macOS

Universal app for Apple silicon and Intel. Requires macOS 11 or later.

About this paper

Johannes Schmitt, Gergely Bérczi, Jasper Dekoninck, Jeremy Feusi, Tim Gehrunger, Raphael Appenzeller, Pieter Belmans, Alessio Bottini and 52 more

Read on alphaXiv

Tip: change arxiv.org to autoarxiv.org in any arXiv abstract link to open the paper here.