Dataset Card for "FLD.v2"
15
81 commits
3 linked in READMEs
updated Dec 24, 2023
For the schema of the dataset, see here. For the whole of the project, see our project page.
More Information needed
hitachi-nlp/FLDx2
See FLD-corpus for the details.
11
hitachi-nlp/FLD-corpus
19
AlexVav01/FormalMath-formalization
0
Slim205/Lean_conjecturer_data_v01
TheFinAI/flare-fnxl
Dataset Card for "flare-fnxl"
AlexVav01/autoformalization-bench
ChanceFocus/flare-fiqasa
Dataset Card for "flare-fiqasa"
3
EleutherAI/asdiv
7
huggingface/datasets
🤗 The largest hub of ready-to-use datasets for AI models with fast, easy-to-use and efficient data…
22,061
hitachi-nlp/FLD
61
