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.
Conversations for this repository live on Hugging Face.
CoolFace shows imported repositories read-only. Posting into someone else’s repository from here would need an authorised integration and the account holder’s consent, so the link goes to the source instead.
Open discussions on Hugging Face