2 papers
cs.AI2026
Improved Upper Bounds for Slicing the Hypercube
Duncan Soiffer, Nathaniel Itty, Christopher D. Rosin +5
A collection of hyperplanes slices all edges of the -dimensional hypercube with vertex set if, for every edge in the hypercube, there exists…
cs.LG2025
The Karp Dataset
Mason DiCicco, Eamon Worden, Conner Olsen +3
Understanding the mathematical reasoning capabilities of Large Language Models (LLMs) is a central topic in the study of artificial intelligence. This new domain necessitates the c…