cosmadrian/romath

RoMath - A Mathematical Reasoning Benchmarking Suite from Descriptions in 🇷🇴 Romanian 🇷🇴" This is the official dataset for RoMath. It currently is comprised of the test and training splits for RoMath-Baccalaureate, RoMath-Competitions and RoMath-Synthetic. Mathematics has long been conveyed through natural language, primarily for human understanding. With the rise of mechanized mathematics and proof assistants, there is a growing need to understand informal mathematical text… See the full description on the dataset page: https://huggingface.co/datasets/cosmadrian/romath.