MathGenie: Generating Synthetic Data with Question Back-translation for Enhancing Mathematical Reasoning of LLMs.
Zimu LuAojun ZhouHouxing RenKe WangWeikang ShiJunting PanMingjie ZhanHongsheng LiPublished in: ACL (1) (2024)
Keyphrases
- synthetic data
- human reasoning
- real world
- mathematical proofs
- real image data
- data sets
- knowledge representation
- model based reasoning
- scientific discovery
- reasoning tasks
- machine translation system
- automatically generating
- knowledge processing
- uncertain information
- generation process
- automated reasoning
- spatial reasoning
- mri data
- query translation
- cross language information retrieval
- database
- knowledge base
- computer algebra
- computer algebra systems
- formal models
- reasoning systems
- qualitative reasoning
- probabilistic reasoning
- synthetic datasets
- mathematical models
- machine translation
- fuzzy logic
- expert systems