#CSTheory

European Association for Theoretical Computer Science

@eatcs.bsky.social

5 days ago

In the TCS on the Web Column, complexity theorist Nutan Limaye tells us about her Life of a Researcher podcast #CSTheory

bulletin.eatcs.org/index.php/be...

2 0 0 1

MEHTAB KHAN

@mehtab8.bsky.social

7 months ago

Breaking the Sorting Barrier for Directed Single-Source Shortest Paths We give a deterministic $O(m\log^{2/3}n)$-time algorithm for single-source shortest paths (SSSP) on directed graphs with real non-negative edge weights in the comparison-addition model. This is the fi...

Researchers have broken the “sorting barrier” for directed Single-Source Shortest Paths (SSSP).

📉 New deterministic algorithm: O(m log^(2/3) n)
⚡ Beats Dijkstra’s O(m + n log n) after decades!
📄 Paper: arxiv.org/abs/2504.17033

#Algorithms #GraphTheory #CSTheory #ComputerScience

1 0 0 0

Lenore Blum

@lenoreblum.bsky.social

7 months ago

Then: A wedding cake with Warren, Lenore, Manuel and Rook at the table. Manuel's and Lenore's parents are standing behind.

Now: Manuel and Lenore

64 years ago, 7/30/61, and we’re still going strong! 😍
That’s Warren & Rook McCulloch at the table with us and Manuel’s & my parents standing behind.
#neuroscience #neuralnets #AI #ML #MIT #CSTheory #consciousnes

24 2 3 1

Anupama Sridhar

@anusridhar.bsky.social

9 months ago

A Kakeya set is the smallest space a cat can spin in every direction.

That’s your ReLU network.
Track those spins, and you get tighter control than PAC-Bayes.

Cats don’t take random walks. Neither should your optimizer.

#CatsOfML #Kakeya #CSTheory

1 1 0 0

Anupama Sridhar

@anusridhar.bsky.social

9 months ago

PAC-Bayes tells you where the cat’s been.
Kakeya tells you where it can go.
We use cone crossings and directional bounds to track optimizer paths. Tighter than PAC-Bayes. No flat priors.
Wanna know how?
New ADAM paper drops soon.

#CatsOfML #Kakeya #OptimizerTheory #CSTheory

0 0 0 0

Joshua Grochow

@joshuagrochow.bsky.social

1 year ago

CodEx Seminar CodEx Seminar

Harm Derksen will be talking about "Invariant Theory and [Computational] Complexity" in tomorrow's online CodEx Seminar: www.math.colostate.edu/~king/codex/

Tue Jan 28, 2025 10am Pacific
Sign up on the website for the zoom link

#MathSky #CSTheory #TheoryCS #TCS #ComputationalComplexity

4 2 0 0

Tomasz Steifer

@steifer.pl

1 year ago

We show that the rank of a function f corresponds to the minimum number of Chain of Thought (CoT) steps required by a single-layer transformer decoder with hard attention to compute f.

🚨 Preprint alert! 🚨
What chain-of-thought has to do with decision trees?
arxiv.org/abs/2501.129...
#cstheory #ml #ai #logic 🧪

10 3 2 0

Tomasz Steifer

@steifer.pl

1 year ago

'Things that can be learned' is the same as 'things that can be compressed' (thanks to #cstheory).

3 1 0 0

Austin Buchanan

@austinlbuchanan.bsky.social

1 year ago

The paper ends with some open questions relating to parameterized complexity, the polynomial hierarchy, and average case analysis. Any #tcs #cstheory folks wanna jump in?

4 0 0 0

Joshua Otti

@joshuaotti.bsky.social

1 year ago

Hey, if you are looking for a quantum complexity theory person on here, well I'm a classical complexity theorist, but I know quantum too. Talk to me about BQP. Or BQL, or QIPL! #Quantum #QuantumComputing #CSTheory

0 0 0 0