Spaces:

uw-math-ai
/

theorem-search

Running

App Files Files Community

28.2 kB

4 contributors

History: 26 commits

Sophie

added filtering by paper; ranking now uses cosine similarity and citation counts

934ea0e about 1 month ago