qqggez/QEDBench

35 downloads in 30 days2 likesLast modified 2 Mar 2026View on Hugging Face

The declared licence (cc-by-4.0) is classified as permissive.

Declared licence: cc-by-4.0, from the tagEvidence: README.md at ed2efb5
Licence files: LICENSE, detected as cc-by-4.0Evidence: LICENSE at ed2efb5
Declared sources: None listed in the card metadata
Access gated on Hugging Face: Yes

Each cell links to what was checked: a file, a file list or a Hub record.

Citation text from the card

@misc{qedbench2026,
      title={QEDBENCH: Quantifying the Alignment Gap in Automated Evaluation of University-Level Mathematical Proofs}, 
      author={Santiago Gonzalez and Alireza Amiri Bavandpour and Peter Ye and Edward Zhang and Ruslans Aleksejevs and Todor Antić and Polina Baron and Sujeet Bhalerao and Shubhrajit Bhattacharya and Zachary Burton and John Byrne and Hyungjun Choi and Nujhat Ahmed Disha and Koppany István Encz and Yuchen Fang and Robert Joseph George and Ebrahim Ghorbani and Alan Goldfarb and Jing Guo and Meghal Gupta and Stefano Huber and Annika Kanckos and Minjung Kang and Hyun Jong Kim and Dino Lorenzini and Levi Lorenzo and Tianyi Mao and Giovanni Marzenta and Ariane M. Masuda and Lukas Mauth and Ana Mickovic and Andres Miniguano-Trujillo and Antoine Moulin and Wenqi Ni and Tomos Parry and Kevin Ren and Hossein Roodbarani and Mathieu Rundström and Manjil Saikia and Detchat Samart and Rebecca Steiner and Connor Stewart and Dhara Thakkar and Jeffrey Tse and Vasiliki Velona and Yunhai Xiang and Sibel Yalçın and Jun Yan and Ji Zeng and Arman Cohan and Quanquan C. Liu},
      year={2026},
      eprint={2602.20629},
      archivePrefix={arXiv},
      primaryClass={cs.LG},
      url={https://arxiv.org/abs/2602.20629}
}

All datasets marked Permissive or share-alike | JSON

The same facts for your agent

A free MCP server at mcp.datalicense.uk/mcp. Connect it from an MCP client such as Claude or Cursor.

dataset_licence({ "id": "qqggez/QEDBench" })
signal: "permissive"
stated_licence: "cc-by-4.0"
sources: 0