Sitemap

A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.

Pages

Posts

Test Blog Post

less than 1 minute read

Published:

This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.

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

slides