SearcharxivSearch

arXiv subjects

Sabin-Codrut Badea

Publications and source records attributed to Sabin-Codrut Badea.

2 recordsLinked to original sources

A Two-Validator Web Interface for Structured Geometry Figure Annotation

Annotating geometric figures from scanned documents has long been addressed by adapting generic annotation tools, tools not originally designed for such tasks, to use cases where they are suboptimal. An interactive web interface is described that is purpose-built for validating automatically generated geometry figure descriptions, allowing annotators to review and correct conditional declaration language (CDL) descriptions while simultaneously adjusting figure crops and editing source problem text. Submissions pass through two independent annotators in sequence, with each round fully logged. The interface is currently deployed and has been used by 12 annotators to validate 483 problem entries.

cs.HC

RoMathExam: A Longitudinal Dataset of Romanian Math Exams (1895-2025) with a Seven-Decade Core (1957-2025)

AI in Education research increasingly relies on authentic, curriculum-grounded assessment data, yet large, well-structured exam corpora remain scarce for many languages and educational systems. We introduce RoMathExam, a longitudinal dataset of Romanian high-school mathematics exams spanning 1895-2025, with a robust standardized core for 1957-2025. The dataset contains 10,592 mathematics problems organized into 600+ complete exam sets across multiple tracks (M1-M4), covering both official national examination sessions and ministry-published training variants. Beyond high-fidelity digitization and a unified JSON schema with traceable provenance, RoMathExam is enriched with curriculum-aligned topic tags and dense text embeddings, enabling variant detection, deduplication, and similarity-based retrieval. To overcome the lack of historical psychometric data, we propose and validate a solution complexity metric as a scalable intrinsic proxy for difficulty. Our evaluation across three frontier reasoning models (GPT-5-mini, DeepSeek-R1, and Qwen3-235B-Thinking) reveals high cross-model synchronization (r > 0.72), confirming the metric's ability to isolate intrinsic mathematical depth from stochastic generation noise. We demonstrate the dataset's utility through a longitudinal analysis that quantifies a "regime shift" from volatile historical formats to a standardized, algebra-dominant modern curriculum. RoMathExam provides a foundation for reproducible research in difficulty modeling, curriculum analytics, and LLM evaluation in low-resource linguistic contexts.

cs.CY