creating branch for SVAMP preprocessing#10

Open

MartinRiddell wants to merge 6 commits intomainfrom MartinRiddell/SVAMP

+2,302

Commits on Jul 7, 2022

creating branch for SVAMP preprocessing
MartinRiddell
committed

Commits on Jul 13, 2022

working on preprocess_svamp.py
MartinRiddell
committed

Commits on Jul 20, 2022

finished preprocessing of svamp dataset
MartinRiddell
committed

Commits on Jul 27, 2022

adds code to verify if answers are correctly translated to python
MartinRiddell
committed
adds indexed file containing all instances and failed file containing copies of all failed instances
MartinRiddell
committed
manually fixed errors in failed instances
MartinRiddell
committed