From Neural Networks to Logical Theories: The Correspondence between Fibring Modal Logics and Fibring Neural Networks

Ähnliche Einträge

• The Correspondence Between Bounded Graph Neural Networks and Fragments of First-Order Logic
  von: Grau, Bernardo Cuenca, et al.
  Veröffentlicht: (2025)
• Explorations of the Softmax Space: Knowing When the Neural Network Doesn't Know
  von: Sikar, Daniel, et al.
  Veröffentlicht: (2025)
• Sufficient Conditions for Stability of Minimum-Norm Interpolating Deep ReLU Networks
  von: Harzli, Ouns El, et al.
  Veröffentlicht: (2026)
• FocusLearn: Fully-Interpretable, High-Performance Modular Neural Networks for Time Series
  von: Su, Qiqi, et al.
  Veröffentlicht: (2023)
• Preservation Theorems for Unravelling-Invariant Classes: A Uniform Approach for Modal Logics and Graph Neural Networks
  von: Wałęga, Przemysław Andrzej, et al.
  Veröffentlicht: (2026)