Picture for Shuvendu Lahiri

Shuvendu Lahiri

Towards Neural Synthesis for SMT-Assisted Proof-Oriented Programming

Add code
May 03, 2024
Viaarxiv icon

MergeBERT: Program Merge Conflict Resolution via Neural Transformers

Add code
Sep 08, 2021
Figure 1 for MergeBERT: Program Merge Conflict Resolution via Neural Transformers
Figure 2 for MergeBERT: Program Merge Conflict Resolution via Neural Transformers
Figure 3 for MergeBERT: Program Merge Conflict Resolution via Neural Transformers
Figure 4 for MergeBERT: Program Merge Conflict Resolution via Neural Transformers
Viaarxiv icon