Learning to Estimate System Specifications in Linear Temporal Logic using Transformers and Mamba

Documenti analoghi

• Interchangeable Token Embeddings for Extendable Vocabulary and Alpha-Equivalence
  di: Işık, İlker, et al.
  Pubblicazione: (2024)
• Names Don't Matter: Symbol-Invariant Transformer for Open-Vocabulary Learning
  di: Işık, İlker, et al.
  Pubblicazione: (2026)
• Counting Like Transformers: Compiling Temporal Counting Logic Into Softmax Transformers
  di: Yang, Andy, et al.
  Pubblicazione: (2024)
• The Role of Logic and Automata in Understanding Transformers
  di: Lin, Anthony W., et al.
  Pubblicazione: (2025)
• Hybrid Models for Natural Language Reasoning: The Case of Syllogistic Logic
  di: Guzmán, Manuel Vargas, et al.
  Pubblicazione: (2025)