Theorem Search: likes over time
uw-math-ai/theorem-search is a docker Space on the Hugging Face Hub. It has 16 likes, 0 in the last 7 days and 0 in the last 30, and ranks #6,324 among Spaces by likes.
Search moved to https://theoremsearch.com
What it uses
- uw-math-ai/theorem-search-dataset (dataset)