This dataset is an amalgamation of every entry of the DQ Round Trip Problem Selection spreadsheet (
https://docs.google.com/spreadsheets/d/1dEWWzjuEXwf9s4II0CixH4sqopc1flIMFx19UjHiyNU/edit?usp=sharing&resourcekey=0-_G7oxmbh7szV5jx-HxhepQ)
with all but the formal and informal columns removed and the text column added concatenated with the Isabelle train and val sets from the Multilingual Mathematical Autoformalization dataset, to which a text column has been added in… See the full description on the dataset page:
https://huggingface.co/datasets/UDACA/Isa-AF-MMA.
