Spaces:

uw-math-ai
/

theorem-search

Running

App Files Files Community

28.3 kB

4 contributors

History: 29 commits

Sophie

integrated pgvector; updated SQL calls to reference new papers table; minor refactoring

947c57d about 1 month ago

src
integrated pgvector; updated SQL calls to reference new papers table; minor refactoring about 1 month ago
.gitattributes
1.52 kB

Duplicate from streamlit/streamlit-template-space about 2 months ago
Dockerfile
406 Bytes

Update Dockerfile about 2 months ago
README.md
439 Bytes

Update README.md about 2 months ago
requirements.txt
112 Bytes

integrated pgvector; updated SQL calls to reference new papers table; minor refactoring about 1 month ago