Radiance-Technologies / prism

Utilities for creating and curating a dataset for automated proof repair in the Coq Proof Assistant.
GNU Lesser General Public License v3.0
5 stars 2 forks source link

Implement data augmentations for inducing breaking changes #17

Open a-gardner1 opened 2 years ago

a-gardner1 commented 2 years ago

It is expected that a significant amount of repair examples will be artificially synthesized. Two potential methods have been discussed:

In either case, a choice needs to be made regarding where and how these synthesized commits will be preserved as part of the dataset (since they cannot be incorporated in the source repositories).