ResearchTrend.AI
  • Communities
  • Connect sessions
  • AI calendar
  • Organizations
  • Join Slack
  • Contact Sales
Papers
Communities
Social Events
Terms and Conditions
Pricing
Contact Sales
Parameter LabParameter LabTwitterGitHubLinkedInBlueskyYoutube

© 2026 ResearchTrend.AI, All rights reserved.

  1. Home
  2. Papers
  3. 2002.06799
  4. Cited By
Equivalence of Dataflow Graphs via Rewrite Rules Using a
  Graph-to-Sequence Neural Model
v1v2 (latest)

Equivalence of Dataflow Graphs via Rewrite Rules Using a Graph-to-Sequence Neural Model

17 February 2020
Steve Kommrusch
Théo Barollet
L. Pouchet
ArXiv (abs)PDFHTML

Papers citing "Equivalence of Dataflow Graphs via Rewrite Rules Using a Graph-to-Sequence Neural Model"

2 / 2 papers shown
Boosting Neural Networks to Decompile Optimized Binaries
Boosting Neural Networks to Decompile Optimized BinariesAsia-Pacific Computer Systems Architecture Conference (ACSA), 2022
Ying Cao
Ruigang Liang
Kai Chen
Peiwei Hu
275
35
0
03 Jan 2023
Self-Supervised Learning to Prove Equivalence Between Straight-Line
  Programs via Rewrite Rules
Self-Supervised Learning to Prove Equivalence Between Straight-Line Programs via Rewrite Rules
Steve Kommrusch
Monperrus Martin
L. Pouchet
477
11
0
22 Sep 2021
1
Page 1 of 1