TheoretiCS - Coming soon

Approximate Counting for Spin Systems in Sub-Quadratic Time. Konrad Anand ; Weiming Feng ; Graham Freifeld ; Heng Guo ; Jiaheng Wang (Accepted on: 2024-11-17)

An Enumerative Perspective on Connectivity. Shyan Akmal (Accepted on: 2024-11-17)

Finite-valued Streaming String Transducers. Emmanuel Filiot ; Ismaël Jecker ; Gabriele Puppis ; Christof Löding ; Anca Muscholl ; Sarah Winter (Accepted on: 2024-11-10)

Multidimensional Quantum Walks, with Application to $k$-Distinctness. Stacey Jeffery ; Sebastian Zur (Accepted on: 2024-10-28)

The Descriptive Complexity of Graph Neural Networks. Martin Grohe (Accepted on: 2024-10-24)