Publications

The Karp Dataset

Published in The 4th Workshop on Mathematical Reasoning and AI at NeurIPS, 2024

We introduce the Karp dataset: The first dataset composed of detailed proofs of NP-completeness reductions.

Download here