Interpretable Representations for Fast and Accurate Retrieval of Mathematical Information /
Matematici sní o digitální knihovně s veškerou světovou matematickou literaturou. Matematické vyhledávání vzniklo v reakci na tento sen a zaobírá se technikami pro vyhledávání matematických textů v digitálních matematických knihovnách. Matematické vyhledávače využívají pokročilé reprezentace matemat...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Další autoři: | |
| Typ dokumentu: | VŠ práce nebo rukopis |
| Jazyk: | Angličtina |
| Vydáno: |
2022
|
| Témata: | |
| On-line přístup: | https://is.muni.cz/th/o4thd/ |
| Shrnutí: | Matematici sní o digitální knihovně s veškerou světovou matematickou literaturou. Matematické vyhledávání vzniklo v reakci na tento sen a zaobírá se technikami pro vyhledávání matematických textů v digitálních matematických knihovnách. Matematické vyhledávače využívají pokročilé reprezentace matematiky pro zajištění rychlého a přesného vyhledávání. Zřídkakdy se však zaměřují na interpretovatelnost svých reprezentací, čímž činí výsledky svého vyhledávání hůře vysvětlitelnými. Ve své práci se zaměřuji na reprezentace a techniky, které mohou zvýšit interpretovatelnost matematického vyhledávání: slovní embedingy a techniky pro hledání sémantické shody a agregaci výsledků. Cílem mé práce je určit, jestli tyto reprezentace a techniky mohou zvýšit přesnost matematického vyhledávání při zachování praktické rychlosti. Ukazuji, že techniky pro hledání sémantické shody na základě slovních embedingů a techniky pro agregaci výsledků mohou zvýšit přesnost matematického vyhledávání a mohou dosáhno Mathematicians dream of a digital library of all peer-reviewed math literature ever published. Math information retrieval emerged when it became clear that standard information retrieval techniques used for text documents were inadequate to retrieve math documents from digital mathematical libraries. Math information retrieval systems use advanced representations of math to ensure fast and accurate retrieval. However, they rarely focus on the interpretability of their representations, which makes the retrieval results difficult to explain to users. In my thesis, I focus on representations and techniques that can make math information retrieval systems more interpretable: token embeddings, semantic matching techniques, and learning-to-rank techniques. The aim of my thesis is to determine whether these techniques can also make math information retrieval systems more accurate and keep them reasonably fast. I show that semantic matching techniques based on token embeddings and learning- |
|---|---|
| Popis jednotky: | Vedoucí práce: Petr Sojka |
| Fyzický popis: | xvii, 116 stran : ilustrace |