Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)

Documenti analoghi

• When GNNs Met a Word Equations Solver: Learning to Rank Equations (Extended Technical Report)
  di: Abdulla, Parosh Aziz, et al.
  Pubblicazione: (2025)
• On the Verification Problem of Remote Direct Memory Access programs (Extended Version with Appendix)
  di: Abdulla, Parosh Aziz, et al.
  Pubblicazione: (2026)
• Unified Fairness for Weak Memory Verification
  di: Abdulla, Parosh Aziz, et al.
  Pubblicazione: (2023)
• TableauxRocq: A Deep Embedding of Free-Variable Tableaux in Rocq
  di: Rosain, Johann, et al.
  Pubblicazione: (2026)
• SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus
  di: Cailler, Julie, et al.
  Pubblicazione: (2025)