Cited By
View all- Meadows JFreitas A(2023)Introduction to Mathematical Language Processing: Informal Proofs, Word Problems, and Supporting TasksTransactions of the Association for Computational Linguistics10.1162/tacl_a_0059411(1162-1184)Online publication date: 19-Sep-2023
- Dadure PPakray PBandyopadhyay S(2022)MathUSE: Mathematical information retrieval system using universal sentence encoder modelJournal of Information Science10.1177/0165551522107733550:1(66-84)Online publication date: 4-Mar-2022
- Dadure PPakray PBandyopadhyay S(2022)Embedding and generalization of formula with context in the retrieval of mathematical informationJournal of King Saud University - Computer and Information Sciences10.1016/j.jksuci.2021.05.01434:9(6624-6634)Online publication date: Oct-2022
- Show More Cited By