Skip to content
Log in
Sponsored AI Networking Cookbook: Practical recipes for AI-assisted network automation and development AI Networking Cookbook: Practical recipes for AI-assisted network automation and development

Author

Ola Svensson

h-index 3 View on Semantic Scholar

We have 2 of 11 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Open access Aug 2026

A \({(2+\varepsilon )}\)-Approximation Algorithm for Metric \({k}\)-Median

This work presents a nontrivial modification of the Greedy algorithm that operates with only [Formula: see text] adaptive phases and develops a novel [Formula: see text]-approximation algorithm tailored for stable instances, where removing any center from an optimal solution increases the cost by at least an [Formula:...

Vincent Cohen-Addad, Fabrizio Grandoni, Euiwoong Lee et al. · 0 citations
#natural language process... Preprint Aug 2026

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

This work introduces TCS-Bench, a benchmark for evaluating Large Language Models (LLMs) on research-level Theoretical Computer Science (TCS) proof generation, and benchmarks the verifier against human-expert proof judgements on a set of target statements and generated proofs pairs.

Vincent Cohen-Addad, Dimitris Paparas, Ernest van Wijland et al. · 3 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.