Suchergebnisse - Lin, Anthony

Treffer weiter einschränken
  1. 1
    Buchumschlag

    Attachment: a predictive coding approach Autoría: Lin, Anthony

    Veröffentlicht 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Buchumschlag

    Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis Autoría: Kan, Shuanglong, Lin, Anthony W.

    Veröffentlicht 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Buchumschlag

    The Role of Logic and Automata in Understanding Transformers Autoría: Lin, Anthony W., Barcelo, Pablo

    Veröffentlicht 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Buchumschlag

    Regular Abstractions for Array Systems Autoría: Hong, Chih-Duo, Lin, Anthony W.

    Veröffentlicht 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Buchumschlag

    Solving Qualitative Multi-Objective Stochastic Games Autoría: Graf, Moritz, Lin, Anthony, Majumdar, Rupak

    Veröffentlicht 2026
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Buchumschlag

    Parikh's Theorem Made Symbolic Autoría: Hague, Matthew, Jeż, Artur, Lin, Anthony W.

    Veröffentlicht 2023
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Buchumschlag

    Complexity of Evaluating GQL Queries Autoría: Figueira, Diego, Lin, Anthony W., Peterfreund, Liat

    Veröffentlicht 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Buchumschlag

    Transformers are Inherently Succinct Autoría: Bergsträßer, Pascal, Cotterell, Ryan, Lin, Anthony W.

    Veröffentlicht 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Buchumschlag

    Answering Constraint Path Queries over Graphs Autoría: Li, Heyang, Lin, Anthony Widjaja, Vrgoč, Domagoj

    Veröffentlicht 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Buchumschlag

    The Polynomial Counting Capabilities of Message Passing Neural Networks Autoría: Sälzer, Marco, Bergsträßer, Pascal, Lin, Anthony W.

    Veröffentlicht 2026
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Buchumschlag

    Revisiting the Expressiveness Landscape of Data Graph Queries Autoría: Benedikt, Michael, Lin, Anthony Widjaja, Yen, Di-De

    Veröffentlicht 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Buchumschlag

    The Power of Hard Attention Transformers on Data Sequences: A Formal Language Theoretic Perspective Autoría: Bergsträßer, Pascal, Köcher, Chris, Lin, Anthony Widjaja, Zetzsche, Georg

    Veröffentlicht 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Buchumschlag

    Softmax Transformers are Turing-Complete Autoría: Jiang, Hongjian, Hahn, Michael, Zetzsche, Georg, Lin, Anthony Widjaja

    Veröffentlicht 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Buchumschlag

    Synthesis and Verification of Transformer Programs (Technical Report) Autoría: Jiang, Hongjian, Hague, Matthew, Rümmer, Philipp, Lin, Anthony Widjaja

    Veröffentlicht 2026
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Buchumschlag

    Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification Autoría: Hong, Chih-Duo, Lin, Anthony W., Rümmer, Philipp, Majumdar, Rupak

    Veröffentlicht 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Buchumschlag

    Why Are Linear RNNs More Parallelizable? Autoría: Merrill, William, Jiang, Hongjian, Li, Yanhong, Lin, Anthony, Sabharwal, Ashish

    Veröffentlicht 2026
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Buchumschlag

    The Counting Power of Transformers Autoría: Sälzer, Marco, Köcher, Chris, Kozachinskiy, Alexander, Zetzsche, Georg, Lin, Anthony Widjaja

    Veröffentlicht 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Buchumschlag

    HornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses(Technical Report) Autoría: Jiang, Hongjian, Lin, Anthony W., Markgraf, Oliver, Rümmer, Philipp, Stan, Daniel

    Veröffentlicht 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Buchumschlag

    The Power of Regular Constraint Propagation (Technical Report) Autoría: Hague, Matthew, Jeż, Artur, Lin, Anthony W., Markgraf, Oliver, Rümmer, Philipp

    Veröffentlicht 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Buchumschlag

    Fast Ramsey Quantifier Elimination in LIRA (with applications to liveness checking) Autoría: Lichtner, Kilian, Bergsträßer, Pascal, Ganardi, Moses, Lin, Anthony W., Zetzsche, Georg

    Veröffentlicht 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: