script-jpg/imo-1969-p2-lemmas

收藏

Hugging Face2025-10-16 更新2025-10-25 收录

数据链接：

https://hf-mirror.com/datasets/script-jpg/imo-1969-p2-lemmas 数据链接链接失效反馈

官方服务：

资源简介：

该数据集包含IMO 1969问题2的命题的简化形式化描述，这些描述是从BFS-Prover-V2论文中提取的。

This dataset includes simplified formalizations of lemmas for IMO 1969 Problem 2 extracted from the BFS-Prover-V2 paper.

提供机构：

© 2023-2026 上海数据发展科技有限责任公司版权所有

沪ICP备17003045号-15 沪公网安备31010402336585号

二维码

社区交流群

二维码

科研交流群

商业服务