mathqform

MathQForm: Mathematics Question Formulation Benchmark

数学の非形式的メモから構造化された研究的問いへの変換プロセスを評価するためのベンチマークデータセットです。

A benchmark dataset for evaluating the process of transforming informal mathematical notes into structured research questions.

データセット概要 / Dataset Overview

項目 / Field	値 / Value
スキーマバージョン / Schema version	v0.1.0（パイロット / pilot）
対象分野 / Target fields	微分方程式(DE), 確率・統計(PS), 実解析(RA), 抽象代数(AA), 幾何学・位相幾何学(GT)
対象レベル / Target level	B4〜M1
評価軸 / Evaluation axes	4 主軸 + 2 補助軸 / 4 primary + 2 auxiliary
生成パス / Generation paths	human / ai / ai_edited
ライセンス / License	データ: CC BY-SA 4.0 / コード: MIT

ドキュメント / Documentation

• スキーマ仕様 / Schema specification
• アノテーションガイド / Annotation guide
• 評価ルーブリック / Evaluation rubric

エンティティ構成 / Entity Structure

Proposition (数学的命題 / Mathematical proposition)
Item (ソースメモ / Source note)
 └─── CandidateQuestion (構造化問い候補 / Structured question candidate)
       ├── Annotation (個別評価 / Individual evaluation)
       └── Adjudication (合意判定 / Consensus judgment)

---

⚠️ 本プロジェクトは開発初期段階です。データ・スキーマは予告なく変更される可能性があります。

This project is in its early development stage. Data and schemas may change without notice.