A Semantic Search Engine for Mathlib4.
Guoxiong GaoHaocheng JuJiedong JiangZihan QinBin DongPublished in: CoRR (2024)
Keyphrases
- search engine
- semantic web
- information retrieval
- web search
- web search engines
- natural language
- semantically meaningful
- user queries
- semantic annotation
- semantic web technologies
- semantic network
- semantic similarity
- semantically related
- semantic analysis
- databases
- semantic information
- search result
- semantic knowledge
- semantic representation
- image retrieval
- digital libraries
- semantic description
- semantically rich
- information discovery