Breaking Language Barriers in Multilingual Mathematical Reasoning: Insights and Observations.
Nuo ChenZinan ZhengNing WuLinjun ShouMing GongYangqiu SongDongmei ZhangJia LiPublished in: CoRR (2023)
Keyphrases
- language resources
- natural language
- language learning
- possibilistic networks
- programming language
- language specific
- meta level
- mathematical proofs
- text generation
- machine translation system
- human reasoning
- comparable corpora
- specification language
- reasoning systems
- multilingual documents
- mathematical theory
- parallel corpus
- reasoning process
- proof theory
- computer algebra systems
- intuitionistic logic
- machine translation
- cross language
- digital libraries
- ontology reasoning
- expert systems
- knowledge representation
- cross lingual
- language independent
- logic programming language
- bilingual dictionaries
- knowledge base
- uncertain information
- qualitative reasoning