Resultados de búsqueda - Lin, Anthony

Limitar resultados
  1. 1
    Imagen de Portada

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

    Publicado 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  2. 2
    Imagen de Portada

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

    Publicado 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  3. 3
    Imagen de Portada

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

    Publicado 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  4. 4
    Imagen de Portada

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

    Publicado 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  5. 5
    Imagen de Portada

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

    Publicado 2026
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  6. 6
    Imagen de Portada

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

    Publicado 2023
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  7. 7
    Imagen de Portada

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

    Publicado 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  8. 8
    Imagen de Portada

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

    Publicado 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  9. 9
    Imagen de Portada

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

    Publicado 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  10. 10
    Imagen de Portada

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

    Publicado 2026
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  11. 11
    Imagen de Portada

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

    Publicado 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  12. 12
    Imagen de Portada

    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

    Publicado 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  13. 13
    Imagen de Portada

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

    Publicado 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  14. 14
    Imagen de Portada

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

    Publicado 2026
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  15. 15
    Imagen de Portada

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

    Publicado 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  16. 16
    Imagen de Portada

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

    Publicado 2026
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  17. 17
    Imagen de Portada

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

    Publicado 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  18. 18
    Imagen de Portada

    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

    Publicado 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  19. 19
    Imagen de Portada

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

    Publicado 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:
  20. 20
    Imagen de Portada

    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

    Publicado 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Agregar a favoritos
    Guardado en:

Herramientas de búsqueda: