Multilingual Mathematical Autoformalization.

Albert Q. Jiang Wenda Li Mateja Jamnik

Published in: CoRR (2023)

Keyphrases

digital libraries
language independent
databases
language resources
cross lingual
question answering
multilingual information retrieval
computer algebra
mathematical expressions
mathematical theory
cross language
co occurrence
probabilistic model
multi agent systems
natural language
search engine
real world