works on
approximation algorithms 1dual fitting 1euclidean metrics 1k-means clustering 1spectral analysis 1

From the 1 of 5 linked papers with an AI index.

most citedMaximizing Nash Social Welfare in 2-Value Instances: Delineating Tractability

1 citations · 1 across the 4 of their papers we have counts for

collaborators
Showing cs.CLShow all

1 paper · 1 filter

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…