This is additional data as part of ReexpressAI/OpenVerification1. The data fields are slightly different for this data source, so we include this as a separate dataset. This provides hard negatives and verifications for a subset of MathNet. Refer to ReexpressAI/OpenVerification1 for additional context and details.

Dataset Structure

Here, we provide additional details for each field. The prompts used for… See the full description on the dataset page: https://huggingface.co/datasets/ReexpressAI/OpenVerification1_aux_mathnet.