复旦大学 发布 GeoTrust 数据集, 应用在 几何问题解决、形式验证 领域

复旦大学 本次发布的数据集 GeoTrust, GeoTrust数据集是由TrustGeoGen引擎生成的，包含了20万个样本，每个样本都是通过形式验证确保推理路径的原则性基准。该数据集的创建不依赖于现有的数据源，确保了评估的无偏倚性和可扩展性，旨在为多模态几何问题解决提供高质量的数据集。

查看GeoTrust

README 内容： 

关于 复旦大学 , 复旦大学是中国著名的高等学府，位于上海，是中国综合实力最强的高等教育机构之一，拥有多个学科领域的优秀研究成果。

关于 arXiv , arXiv 是一个免费分发服务和开放获取的学术文章档案库，涵盖了物理学、数学、计算机科学、定量生物学、定量金融、统计学、电气工程和系统科学以及经济学等领域。该网站上的材料并未经过 arXiv 的同行评审。