MARIO: MAth Reasoning with code Interpreter Output - A Reproducible Pipeline.
Minpeng LiaoChengxi LiWei LuoJing WuKai FanPublished in: ACL (Findings) (2024)
Keyphrases
- source code
- reasoning tasks
- input data
- knowledge base
- reasoning systems
- qualitative reasoning
- spatial reasoning
- production system
- programming language
- default reasoning
- knowledge representation
- pipeline architecture
- java virtual machine
- rule based reasoning
- database
- error correcting
- mathematical problem solving
- analogical reasoning
- uncertain information
- tutoring system
- description logics
- case study
- neural network