MUSTARD: Mastering Uniform Synthesis of Theorem and Proof Data.
Yinya HuangXiaohan LinZhengying LiuQingxing CaoHuajian XinHaiming WangZhenguo LiLinqi SongXiaodan LiangPublished in: ICLR (2024)
Keyphrases
- data sets
- data sources
- data collection
- data processing
- statistical analysis
- complex data
- original data
- database
- raw data
- data structure
- data points
- knowledge discovery
- image data
- prior knowledge
- data quality
- data analysis
- training data
- missing data
- multimedia data
- data acquisition
- experimental data
- sensor data
- synthetic data
- high quality
- information retrieval
- end users