Spaces:

uw-math-ai
/

theorem-search

Running

App Files Files Community

theorem-search / src

25.8 kB

4 contributors

History: 10 commits

Sophie

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

934ea0e about 1 month ago

latex_clean.py

5.98 kB

minor fixes about 2 months ago
streamlit_app.py

19.8 kB

added filtering by paper; ranking now uses cosine similarity and citation counts about 1 month ago