UDACA/Isa-MMA
收藏Hugging Face2024-03-17 更新2024-06-11 收录
下载链接：
https://hf-mirror.com/datasets/UDACA/Isa-MMA
下载链接
链接失效反馈官方服务：
资源简介：
---
license: cc-by-4.0
language:
- en
---
# Isa-MMA: Isabelle Components of the Multilingual Mathematical Autoformalization (MMA) Dataset
## Dataset Description
Jiang et. al. published a paper entitled [*Multilingual Mathematical Autoformalization*](https://arxiv.org/abs/2311.03755) that included datasets in Isabelle and Lean. This dataset is the combination of the Isabelle test and Isabelle val datasets merged into one.
## Data Fields
- `input`: The words "Statement in natural language:" followed by a statement in natural language.
- `output`: The statement from the `input` column formalized in Isabelle.
提供机构：
UDACA
原始信息汇总
Isa-MMA: Isabelle Components of the Multilingual Mathematical Autoformalization (MMA) Dataset
数据集描述
本数据集由Jiang等人发表的论文《Multilingual Mathematical Autoformalization》中包含的Isabelle测试集和验证集合并而成。
数据字段
input: 包含"Statement in natural language:"标签，后接自然语言表述的数学陈述。output: 对应input字段中的自然语言陈述，被形式化为Isabelle语言的表述。
