Distilling Formal Logic into Neural Spaces: A Kernel Alignment Approach for Signal Temporal Logic

Documenti analoghi

• Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers
  di: Candussio, Sara, et al.
  Pubblicazione: (2025)
• Structural-Ambiguity-Aware Translation from Natural Language to Signal Temporal Logic
  di: Fushimi, Kosei, et al.
  Pubblicazione: (2026)
• STLCG++: A Masking Approach for Differentiable Signal Temporal Logic Specification
  di: Kapoor, Parv, et al.
  Pubblicazione: (2025)
• A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning
  di: Chen, Michael K.
  Pubblicazione: (2025)
• Speaking in Words, Thinking in Logic: A Dual-Process Framework in QA Systems
  di: Bui, Tuan, et al.
  Pubblicazione: (2025)