bibliographer - Pascal Bergstraßer

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Length Generalization Bounds for Transformers Andy Yang Pascal Bergstraßer Georg Zetzsche David Chiang Anthony W. Lin [github]

The Power of Hard Attention Transformers on Data Sequences: A Formal Language Theoretic Perspective Pascal Bergstraßer Chris Køcher Anthony Widjaja Lin Georg Zetzsche [github]

Ramsey Quantifiers in Linear Arithmetics Pascal Bergstraßer Moses Ganardi Anthony W. Lin Georg Zetzsche [github]

Revisiting Membership Problems in Subclasses of Rational Relations Pascal Bergstraßer Moses Ganardi [github]

Ramsey Quantifiers over Automatic Structures: Complexity and Applications to Verification Pascal Bergstraßer Moses Ganardi Anthony W. Lin Georg Zetzsche [github]

Ramsey Quantifiers over Automatic Structures: Complexity and Applications to Verification Pascal Bergstraßer Moses Ganardi Anthony W. Lin Georg Zetzsche [github]

Library Size: 13G (6 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]