BriefGPT.xyz
Oct, 2023
MLFMF:数学形式化机器学习的数据集
MLFMF: Data Sets for Machine Learning for Mathematical Formalization
HTML
PDF
Andrej Bauer, Matej Petković, Ljupčo Todorovski
TL;DR
MLFMF 是一个数据集合,用于评估用于支持证明助手形式化数学的推荐系统的性能,数据集包含了来自 Agda 或 Lean 证明助手中的形式化数学库,提供了网络结构和语法树表示两种方式,可用于机器学习方法在形式化数学中的进一步研究和评估。
Abstract
We introduce
mlfmf
, a collection of data sets for
benchmarking
recommendation systems
used to support formalization of mathematics with
→