FindFacts: A Scalable Theorem Search.

Fabian Huch Alexander Krauss

Published in: CoRR (2022)

Keyphrases

web scale
search algorithm
search strategy
search space
real time
efficient search
query formulation
information retrieval
search tools
keywords
social networks
genetic algorithm
user queries
probabilistic model
information access
search tasks
database systems
highly scalable