Ernest van Wijland

collaborators

2 papers

cs.CL2026

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability

Vincent Cohen-Addad, Dimitris Paparas, Ernest van Wijland +13

We introduce TCS-Bench, a benchmark for evaluating Large Language Models (LLMs) on research-level Theoretical Computer Science (TCS) proof generation. TCS-Bench consists of theorem…

cs.DS2026

Spectral Dual Fitting for $k$ -Means

Aditya Anand, Moses Charikar, Vincent Cohen-Addad +5

We give a new dual fitting algorithm which gives improved approximation ratios of $3 + ln 2 + ε (\approx 3.694)$ and $4.9 + ε$ for $k$ -Means in (high-dimensional) Euclidean and genera…

TCS-BENCH: Benchmarking State-of-the-Art Generative AI Theoretical Computer Science Research Ability

Spectral Dual Fitting for k-Means

Spectral Dual Fitting for $k$ -Means