MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data.
Yinya HuangXiaohan LinZhengying LiuQingxing CaoHuajian XinHaiming WangZhenguo LiLinqi SongXiaodan LiangPublished in: CoRR (2024)
Keyphrases
- data sets
- data analysis
- raw data
- synthetic data
- high quality
- data structure
- experimental data
- data points
- computer systems
- data collection
- image data
- prior knowledge
- xml documents
- training data
- input data
- statistical analysis
- noisy data
- small number
- complex data
- historical data
- spatial data
- data processing
- database
- knowledge discovery
- website
- real time