Hugging Face's logo

Spaces:
uw-math-ai
/
theorem-search
Running

App Files Community
1
theorem-search / src /streamlit_app.py

Commit History

added 0 citation-weight case; ui updates
c1b045f

Sophie commited on

optimized app
a132e72

Sophie commited on

fixed RDS loading error; clicking on link adds query and filters to RDS
59e9238

Sophie commited on

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

Sophie commited on

Merge remote-tracking branch 'origin/main'
878f0ee

Sophie commited on

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

Sophie commited on

Update src/streamlit_app.py
73d4fd5
verified

slszeto commited on

added filtering and citation counts
c38e4ce

Sophie commited on

minor fixes
6de8c39

Sophie commited on

better latex parsing when displaying theorems (not perfect)
ab99a3d

Sophie commited on

Rename src/app.py to src/streamlit_app.py
e0258b8
verified

slszeto commited on

Rename src/streamlit_app.py to src/app.py
cd94f14
verified

slszeto commited on

Update src/streamlit_app.py
c6bcc0c
verified

slszeto commited on

Duplicate from streamlit/streamlit-template-space
2740367
verified

Vilin97 FranckAbgrall HF Staff commited on