Picture for Louis-Noël Pouchet

Louis-Noël Pouchet

Self-Supervised Learning to Prove Equivalence Between Programs via Semantics-Preserving Rewrite Rules

Add code
Sep 22, 2021
Figure 1 for Self-Supervised Learning to Prove Equivalence Between Programs via Semantics-Preserving Rewrite Rules
Figure 2 for Self-Supervised Learning to Prove Equivalence Between Programs via Semantics-Preserving Rewrite Rules
Figure 3 for Self-Supervised Learning to Prove Equivalence Between Programs via Semantics-Preserving Rewrite Rules
Figure 4 for Self-Supervised Learning to Prove Equivalence Between Programs via Semantics-Preserving Rewrite Rules
Viaarxiv icon

Proving Equivalence Between Complex Expressions Using Graph-to-Sequence Neural Models

Add code
Jun 09, 2021
Figure 1 for Proving Equivalence Between Complex Expressions Using Graph-to-Sequence Neural Models
Figure 2 for Proving Equivalence Between Complex Expressions Using Graph-to-Sequence Neural Models
Figure 3 for Proving Equivalence Between Complex Expressions Using Graph-to-Sequence Neural Models
Figure 4 for Proving Equivalence Between Complex Expressions Using Graph-to-Sequence Neural Models
Viaarxiv icon

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

Add code
Feb 17, 2020
Figure 1 for Equivalence of Dataflow Graphs via Rewrite Rules Using a Graph-to-Sequence Neural Model
Figure 2 for Equivalence of Dataflow Graphs via Rewrite Rules Using a Graph-to-Sequence Neural Model
Figure 3 for Equivalence of Dataflow Graphs via Rewrite Rules Using a Graph-to-Sequence Neural Model
Figure 4 for Equivalence of Dataflow Graphs via Rewrite Rules Using a Graph-to-Sequence Neural Model
Viaarxiv icon

SequenceR: Sequence-to-Sequence Learning for End-to-End Program Repair

Add code
Dec 24, 2018
Figure 1 for SequenceR: Sequence-to-Sequence Learning for End-to-End Program Repair
Figure 2 for SequenceR: Sequence-to-Sequence Learning for End-to-End Program Repair
Figure 3 for SequenceR: Sequence-to-Sequence Learning for End-to-End Program Repair
Figure 4 for SequenceR: Sequence-to-Sequence Learning for End-to-End Program Repair
Viaarxiv icon