MathCoder: Seamless Code Integration in LLMs for Enhanced Mathematical Reasoning.
Ke WangHouxing RenAojun ZhouZimu LuSichun LuoWeikang ShiRenrui ZhangLinqi SongMingjie ZhanHongsheng LiPublished in: CoRR (2023)
Keyphrases
- knowledge processing
- source code
- mathematical proofs
- reasoning tasks
- knowledge representation
- information integration
- neural network
- human reasoning
- model based reasoning
- automated reasoning
- information systems
- machine learning
- spatial reasoning
- digital libraries
- reasoning systems
- formal models
- knowledge base
- database